TY  - BOOK
AU  - Church,Alonzo
TI  - Introduction to mathematical logic
T2  - Annals of mathematics studies
PY  - 1965///
CY  - New York
PB  - Kraus Repr. Corporation
ER  -