TY  - BOOK
AU  - Church, Alonzo
AU  - Church, Alonzo
TI  - Introduction To Mathematical Logic
U1  - B:R1 
PY  - 1956///
CY  - Princeton
PB  - Univ. Press
KW  - B:R1
ER  -