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