References
Bunder, M.W.: A one axiom set theory based on higher order predicate calculus. Arch. Math. Logik23, 99–107 (1983)
Bunder, M.W.: Set theory in predicate calculus with equality. Arch. Math. Logik23, 109–113 (1983).
Bunder, M.W.: A weak absolute consistency proof for some systems of illative combinatory logic. J. Symb. Logic48, 121–126 (1983).
Bunder, M.W.: A characterization of inconsistency proofs in illative combinatory logic. The University of Wollongong, Department of Mathematics, Preprint Series No. 3/81.
Curry, H.B., Feys, R.: Combinatory logic. Amsterdam: North-Holland 1958.
Curry, H.B., Hindley, J.R., Seldin, J.P.: Combinatory logic. II. Amsterdam: North-Holland 1972.
Feferman, S.: Categorical foundations and foundations of category theory. In: Proc. of the 5th Intern. Congress of Logic, Methodology, and Philosophy of Science, London, Ontario. Reidel: Dordrecht 1975.
Herrlich, H., Strecker, G.E.: Category theory. Boston: Allyn and Bacon 1973.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bunder, M.W. Category theory based on combinatory logic. Arch math Logik 24, 1–16 (1984). https://doi.org/10.1007/BF02007137
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007137