References
Beth, E.W.: The foundations of mathematics. Amsterdam: North-Holland 1968.
Bunder, M.W.: A deduction theorem for restricted generality. Notre Dame Journal of Formal LogicXIV, 341–346 (1973).
Bunder, M.W.: Propositional and predicate calculuses based on combinatory logic. Notre Dame Journal of Formal LogicXV, 25–34 (1974).
Church, A.: Introduction to mathematical logic. Princeton: Princeton University Press 1956.
Curry, H.B.: The consistency of a system of combinatory restricted generality. J. Symb. Logic38, 489–492 (1973).
Curry, H.B., Feys, R.: Combinatory logic, Vol. 1. Amsterdam: North-Holland 1959.
Fourman, M.P.: The logic of to poi. In: Barwise, J. (ed.): Handbook of mathematical logic. Amsterdam: North-Holland 1977.
Montague, R.: Set theory and higher order logic. In: Crossley, J.N., Dummett, M.A.E. (eds.): Formal systems and recursive functions, pp. 131–148. Amsterdam: North-Holland 1965.
Tarski, A.: Einige Betrachtungen über die Begriffe derω-Widerspruchsfreiheit und derω-Vollständigkeit. Monatsh. Math. Phys.40, 97–112 (1933).
Seldin, J.P.: Equality in ℱ22. In: Rose, H.E., Shepherdson (eds.): Logic Colloquium '73 Bristol, pp. 433–444. Amsterdam: North-Holland 1975.
Seldin, J.P.: TheQ-consistency of ℱ22. Notre Dame Journal of Formal LogicXVIII, 117–127 (1977).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bunder, M.W. Predicate calculus of arbitrarily high finite order. Arch math Logik 23, 1–10 (1983). https://doi.org/10.1007/BF02023007
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02023007