Untersuchungen zur mehrsortigen Quantorenlogik (original) (raw)
Access this article
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime Subscribe now
Buy Now
Price excludes VAT (USA)
Tax calculation will be finalised during checkout.
Instant access to the full article PDF.
Literatur
- Church, A.: Introduction to Mathematical Logic I. Princeton N. J.: Princeton University Press 1956.
Google Scholar - Gilmore, P. C.: An addition to “logic of many-sorted theorie” Compositio Math.13, 277–281 (1958).
Google Scholar - Henkin, L.: The completeness of the first-order functional calculus. J. Symb. Logic14, 159–166 (1949).
Google Scholar - Montague, R., andL. Henkin: On the definition of formal deduction. J. Symb. Logic21, 129–136 (1956).
Google Scholar - Schmidt, A.: Über deduktive Theorien mit mehreren Sorten von Grunddingen. Math. Ann.115, 485–506 (1938).
Google Scholar - Schmidt, A.: Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Math. Ann.123, 187–200 (1951).
Google Scholar - Wang, H.: Logic of many-sorted theories. J. Symb. Logic17, 105–116 (1952).
Google Scholar
Author information
Authors and Affiliations
- Hannover
Arnold Oberschelp
Authors
- Arnold Oberschelp
You can also search for this author inPubMed Google Scholar
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: 23 May 1961
- Issue Date: August 1962
- DOI: https://doi.org/10.1007/BF01396685