TY - BOOK AU - Curry,Haskell B. TI - Foundations of mathematical logic T2 - McGraw-Hill series in higher mathematics AV - QA9 .C85 U1 - 510.1 PY - 1963///] CY - New York PB - McGraw-Hill KW - Logic, Symbolic and mathematical KW - Local N1 - Includes bibliography ER -