Text this: Logic for mathematicians