Text this: Logic for mathematicians.