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.