Title: Logic for mathematicians