References
Goodman, N.D.: A simplification of combinatory logic. J. Symb. Logic37, 225–246 (1972).
Bunder, M.W.: Propositional and predicate calculuses based on combinatory logic. Notre Dame Journal of Formal LogicXV, 25–34 (1974).
Bunder, M.W.: A paradox in illative combinatory logic. Notre Dame Journal of Formal LogicXI, 467–470 (1970).
Bunder, M.W.: Various systems of set theory based on combinatory logic. Notre Dame Journal of Formal LogicXV, 192–206 (1974).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bunder, M.W. Predicate calculus and naive set theory in pure combinatory logic. Arch math Logik 21, 169–177 (1981). https://doi.org/10.1007/BF02011642
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02011642