TY  - BOOK
AU  - Church, Alonzo , 1903-
AU  - Truesdell, Clifford Ambrose , 1919-
TI  - Introduction to mathematical logic..
AV  - BC135.C4 
PB  - Princeton University Press
KW  - Logic, Symbolic and mathematical
KW  - BC
N1  - Lithoprinted; Bibliographical foot-notes
ER  -