Text this: A Logical Introduction to Proof