Text this: Logic for mathematicians/