Literatur
Church, A.: Introduction to Mathematical Logic I. Princeton N. J.: Princeton University Press 1956.
Gilmore, P. C.: An addition to “logic of many-sorted theorie” Compositio Math.13, 277–281 (1958).
Henkin, L.: The completeness of the first-order functional calculus. J. Symb. Logic14, 159–166 (1949).
Montague, R., andL. Henkin: On the definition of formal deduction. J. Symb. Logic21, 129–136 (1956).
Schmidt, A.: Über deduktive Theorien mit mehreren Sorten von Grunddingen. Math. Ann.115, 485–506 (1938).
Schmidt, A.: Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Math. Ann.123, 187–200 (1951).
Wang, H.: Logic of many-sorted theories. J. Symb. Logic17, 105–116 (1952).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Oberschelp, A. Untersuchungen zur mehrsortigen Quantorenlogik. Math. Ann. 145, 297–333 (1962). https://doi.org/10.1007/BF01396685
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01396685