Church, Alonzo, 1903-1995 Introduction to mathematical logic / by Alonzo Church - New Jersey : Princeton University Press., 1956 [Printing 1962, 1965] - v. 23 cm. - Princeton Mathematical series . - Princeton Mathematical series . Includes Bibliographical foot-notes. Vol. 1 -- Subjects--Topical Terms: Logic, Symbolic and mathematical. Dewey Class. No.: 160 / CHI 1962