Various systems of set theory based on combinatory logic

DOI10.1305/ndjfl/1093891298zbMath0212.02505OpenAlexW2065344065MaRDI QIDQ5921177

Martin W. Bunder

Publication date: 1974

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093891298

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Combinatory logic and lambda calculus (03B40)

Related Items

Arithmetic based on the Church numerals in illative combinatory logic ⋮ A one axiom set theory based on higher order predicate calculus ⋮ Predicate calculus and naive set theory in pure combinatory logic ⋮ Equivalences between pure type systems and systems of illative combinatory logic

This page was built for publication: Various systems of set theory based on combinatory logic