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