Text this: A logical introduction to proof /