TY  - BOOK
AU  - Church,Alonzo,1903-
TI  - Introduction to mathematical logic
PY  - 1956///
CY  - Princeton, N.J.
PB  - Princeton University Press
KW  - Logic, Symbolic and mathematical
N1  - 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.'
ER  -