An Introduction to mathematical logic - Robison, Gerson B., 1909- (Englewood Cliffs, N.J. Prentice-Hall, 1969)
Keywords: Logic, Symbolic and mathematical