Outlines of a formalist philosophy of mathematics - Curry, Haskell B. 1900- (Haskell Brooks) (North - Holland Publishing Company, 1958)