TY - BOOK AU - Curry Haskell B. TI - Foundations of mathematical logic U1 - R14, K1 PY - 1961/// CY - New York PB - McGraw-Hill Book USA KW - PHILOSOPHY ER -