Curry, Haskell B. Outlines of a formalist philosophy of mathematics Haskell B. Curry - Amsterdam North-Holland 1958 - vii, 75p.; 22cm.- - Studies in logic and the foundations of mathematics . Dewey Class. No.: 162 / CUR