A mathematical introduction to logic - Enderton, Herbert B. (Academic Press, 1972)
xiii, 295 p.; 24 cm.