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