TY  - BOOK
AU  - Church, Alonzo,
TI  - Introduction to mathematical logic
U1  - 164 CHU 
PY  - 1956///-
CY  - Princeton
PB  - Princeton University Press
KW  - Logic, Symbolic and mathematical
N1  - Vol. 1, A revised and much enlarged edition of introduction to mathe matical logic ... which was published in 1944 as one of the Annals of m athematics studies
ER  -