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