Introduction to mathematical logic. - Church, Alonzo, 1903-1995. (Princeton, Princeton University Press, 1956)
Vol. 1, "A revised and much enlarged edition of Introduction to mathematical logic ... which was published in 1944 as one of the Annals of mathematics studies."
Keywords: Logic, Symbolic and mathematical