TY  - BOOK
AU  - CHURCH, ALONZO
TI  - INTRODUCTION TO MATHEMATICAL LOGIC
U1  - B3 
PY  - 1956///
CY  - NEW JERSEY
PB  - PRINCETON UNIVERSITY PRESS
KW  -  MATHEMATICAL LOGIC
KW  - MATHEMATICS
ER  -