Text this: Logic for mathematicians /