Church, Alonzo, 1903-

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

Vol. 1, A revised and much enlarged edition of introduction to mathe matical logic ... which was published in 1944 as one of the Annals of m athematics studies.


Logic, Symbolic and mathematical.

164 CHU