Foundations of mathematical logic / Curry, Haskell B. (Haskell Brooks), 1900- Logic, Symbolic and mathematical. QA9 .C85 510.1 Includes bibliography. New York: McGraw-Hill, 1963. 1963. 1963 Text 408 p. eng McGraw-Hill series in higher mathematics