Introduction to mathematical logic. Church, Alonzo, 1903-1995. Logic, Symbolic and mathematical. BC135 .C42 164 CH9 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." Princeton, Princeton University Press, 1956- 1956- 1956 Text v. eng Princeton mathematical series, 17