TY  - BOOK
AU  - Curry, Haskell B. .
TI  - Foundations of Mathematical Logic
U1  - 511.3 
PY  - 1977///
CY  - New York
PB  - Dover Publications Inc.
KW  - Mathematics
KW  - G-Mathematics
KW  - Mathematical Logic
KW  - T/G-Mathematics
N1  - Index
ER  -