Email Record: Logic for mathematicians /