Outlines of a formalist philosophy of mathematics - Curry, Haskell B. 1900-1982 (Studies in logic and the foundations of mathematics., 1958)