TY  - BOOK
AU  - Curry, Haskell B
AU  - 
TI  - Foundations of mathematical logic
U1  - 511.3  CUR-F;1 
PY  - 1963///
CY  - McGraw-Hill book Co, Inc, NewYork
KW  - Mathematical logic-- Mathematics
ER  -