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