Some properties of equality and implication in combinatory logic

DOI10.2307/1968498zbMath0010.14604OpenAlexW2323724534MaRDI QIDQ1840146

Haskell B. Curry

Publication date: 1934

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1968498

zbMATH Keywords

foundations, philosophy, logic

Related Items

Systems of illative combinatory logic complete for first-order propositional and predicate calculus