Curry Haskell B Foundations of mathematical logic - 2 - New York Dover U. S. A. 1977 - viii, 408p cm. Bibliography: P 369-90 ISBN: 0486634620 Source: General Book Subjects--Topical Terms: Philosophy-Symbolic Logic Dewey Class. No.: R14, L7