A Bit of Logic: A User's Toolbox - Tourlakis, George (Lectures in Logic and Set Theory, 2003)