Logic for mathematicians