The universal quantifier in combinatory logic

DOI10.2307/1968422zbMath0001.26101OpenAlexW2326394178MaRDI QIDQ1565128

Haskell B. Curry

Publication date: 1931

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

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

zbMATH Keywords

foundations, logic

Related Items

Systems of illative combinatory logic complete for first-order propositional and predicate calculus ⋮ Extending the Curry-Howard interpretation to linear, relevant and other resource logics ⋮ A system of formal logic without an analogue to the curry W operator ⋮ A revision of the fundamental rules of combinatory logic