TY  - BOOK
AU  - Church,Alonze
TI  - Introduction to mathematical logic
U1  - 510.1 
PY  - 1958///
CY  - Princeton
PB  - The University Press
KW  - Logic, symbolic and mathematics
KW  - Mathematics
N1  - Includes index
ER  -