Logic for Mathematicians