TY  - BOOK
AU  - Curry, Haskell Brooks
TI  - Foundations of mathematical logic
U1  - 510.1 
PY  - 1963///
CY  - New York
PB  - Mcgraw-Hill
KW  - Logic
KW  - Symbolic and mathematical
ER  -