Haskell B. Curry

Introduction to mathematical logic

Haskell B. Curry · Journal of the Franklin Institute · 1957 · 509 citations

Automated Reasoning, Applied Logic, First-order Logic +1

Foundations of Mathematical Logic.

Elliott Mendelson, Haskell B. Curry · American Mathematical Monthly · 1965 · 456 citations

Formal Logic, Non-classical Logic, Automated Reasoning +3

The method of steepest descent for non-linear minimization problems

Haskell B. Curry · Quarterly of Applied Mathematics · 1944 · 416 citations · Full text

Numerical Analysis, Mathematical Programming, Engineering +5

The inconsistency of certain formal logics

Haskell B. Curry · Journal of Symbolic Logic · 1942 · 313 citations

Formal Logic, Non-classical Logic, Richard Paradox +13

Combinatory Logic, Volume I.

Charles Parsons, Haskell B. Curry, Robert Feys et al. · The Philosophical Review · 1959 · 160 citations

Computational Logic, Discrete Mathematics, Combinatory Logic