Haskell B. Curry

1900 – 1982

• A theory of formal deducibility
• Combinatory logic
• Foundations of mathematical logic
• Outlines of a formalist philosophy of mathematics
• Outlines of a formalist philosophy of mathematics
• Theory of Formal Deducibility
• A theory of formal deducibility
• Combinatory logic
• Combinatory logic
• Combinatory logic [by] Haskell B. Curry [and] Robert Feys
• Leçons de logique algébrique
• Leçons de logique algébrique