Text this: An Introduction to logic