Text this: A Mathematical Introduction to Logic