TY  - BOOK
AU  - Church,Alonzo
TI  - Introduction to mathematical logic
T2  - Princeton Mathematical series
U1  - 160 23
PY  - 1956/// [Printing 1962, 1965]
CY  - New Jersey
PB  - Princeton University Press.
KW  - Logic, Symbolic and mathematical
N1  - Includes Bibliographical foot-notes; Vol. 1 --
ER  -