References
Bunder, M.W.: Propositional and predicate calculuses based on combinatory logic. Notre Dame Journal of Formal LogicXV, 25–34 (1974).
Bunder, M.W.: Various systems of set theory based on combinatory logic. Notre Dame Journal of Formal LogicXV, 192–206 (1974).
Bunder, M.W.: Predicate calculus of arbitrarily high finite order. Arch. math. Logik23, 1–10 (1983).
Bunder, M.W.: Consistency notions in illative combinatory logic. J. Symb. Logic42, 527–529 (1977).
Bunder, M.W.: On the equivalence of systems of rules and systems of axioms in illative combinatory logic. Notre Dame Journal of Formal LogicXX, 603–608 (1979).
Vopênka, P., Hájek, P.: The theory of semi-sets. Amsterdam: North-Holland 1972.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bunder, M.W. A one axiom set theory based on higher order predicate calculus. Arch math Logik 23, 99–107 (1983). https://doi.org/10.1007/BF02023016
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02023016