Curry, Haskell B. 1900- Foundations of mathematical logic / by Haskell B. Curry. - New York : McGraw-Hill, c1963. - xii, 408 p. : ill. ; 24 cm. Includes bibliography and index. Subjects--Topical Terms: mathematical logicLogic, Symbolic and mathematical Dewey Class. No.: 511.3 / CUF 1963