Introduction to mathematical logic - Church, Alonzo 1901- (Princeton Princeton University Press, 1944)
Reprinted by Kraus Reprint Corp., New York, 1965.
Keywords: Logic, Symbolic and mathematical