An introduction to mathematical logic - Robison, Gerson B. (New Jersey Prentice-Hall, 1969)
Keywords: Logic, Symbolic and mathematical