Haskell B. (Haskell Brooks) 1 Curry

• Combinatory Logic; 1
• Outlines of a Formalist Philosophy of Mathematics