TY  - GEN
AU  - Church,A.
TI  - Introduction to mathematical logic: Vol. 1
PY  - 1956///
CY  - New Jersey
PB  - Princeton University Press
KW  - Mathematical Logic
ER  -