TY  - BOOK
AU  - Curry Haskell B
TI  - Foundations of mathematical logic
SN  - 0486634620
U1  - R14, L7 
PY  - 1977///
CY  - New York
PB  - Dover U. S. A.      
KW  - Philosophy-Symbolic Logic
N1  - Bibliography: P 369-90
ER  -