Outlines of a Formalist Philosophy of Mathematics / Haskell B. Curry - Curry, Haskell B.