TY  - GEN
AU  - Church, Alonzo
TI  - Introduction to mathematical logic
U1  - 511.3 
PY  - 1956///
CY  - New Jersey
PB  - Princeton
KW  - General principles of mathematics
ER  -