Curry, Haskell B. Foundations of mathematical logic. - New York McGraw-Hill [1963] - 408 p. illus. 24 cm. - McGraw-Hill series in higher mathematics . Includes bibliography. LCCN: 61017746 /L/r84 Subjects--Topical Terms: Logic, Symbolic and mathematical LC Class. No.: QA9 / .C85 Dewey Class. No.: 510.1