Church, Alonzo, 1903-

Introduction to mathematical logic - Princeton, N.J. Princeton University Press 1956 - v. 24 cm.

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


Logic, Symbolic and mathematical