Introduction to mathematical logic - Church, Alonzo, 1903-1995 (New Jersey : Princeton University Press., 1956)
Vol. 1 --
Includes Bibliographical foot-notes.
Keywords: Logic, Symbolic and mathematical