Some Advances in the Combinatory Theory of Quantification

DOI10.1073/pnas.28.12.564zbMath0060.02208OpenAlexW2029902469WikidataQ33747138 ScholiaQ33747138MaRDI QIDQ5834322

Haskell B. Curry

Publication date: 1942

Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1073/pnas.28.12.564

zbMATH Keywords

foundations, philosophy, logic

Related Items

Systems of illative combinatory logic complete for first-order propositional and predicate calculus ⋮ The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction