A mathematical introduction to logic - Enderton, Herbert B. (New York : Academic Press, 1972)
Includes index.
Keywords: Logic, Symbolic and mathematical