A mathematical introduction to logic - Enderton, Herbert B. (HAP [i. e.] Harcourt Academic Press, 2001)