A mathematical introduction to logic. - Enderton, Herbert B. (Saint Joseph's University, 2001)