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 --


Logic, Symbolic and mathematical.

160 / CHI 1962