A mathematical introduction to logic - Enderton, Herbert B. 1936-2010 (Harcourt/Acad. Press, 2004)