Outlines of a formalist philosophy of mathematics - Curry, Haskell B. 1900-1982 (North-Holland Publ.Co., 1951)