Church, Alonzo, 1903-1995.

Introduction to mathematical logic / By Alonzo Church. - Princeton : Princeton University Press, 1956-. - v. ; 24 cm. - Princeton mathematical series, 17 . - 164 .

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

Vol. 1 (1956, 378 p.)

0-691-07984-6


Logic, Symbolic and mathematical.

164