Article PDF
Avoid common mistakes on your manuscript.
Literatur
Feferman, S.: Lectures on Proof Theory. Proceedings of the Summer School in Logic. Lecture Notes70, Springer, Berlin 1968, 1–108.
Kino, A., and G. Takeuti: On predicates with infinitely long expressions. J. Math. Soc. Japan15 (1963), 176–190.
Kleene, S. C.: On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper). Am. J. Math.66, 41–58.
Kleene, S. C.: Introduction to Metamathematics. North-Holland Publ. Co., Amsterdam 1964.
Lopez-Escobar, E. G. K.: An interpolation theorem for denumerably long formulas. Fund. Math.57 (1965), 253–272.
Lopez-Escobar, E. G. K.: Remarks on an infinitary language with constructive formulas. J. Symb. Logic32, 305–318.
Schütte, K.: Beweistheorie. Springer, Berlin 1960.
Schütte, K.: Vorlesung über rekursive Funktionen. WS 1968/69 (unveröffentlicht).
Tait, W. W.: Normal derivability in classical Logic. The Syntax and Semantics of Infinitary Languages. Lecture Notes72, Springer, Berlin 1968, 204–236.
Author information
Authors and Affiliations
Additional information
Herrn Professor Dr. Kurt Schütte zum 60. Geburtstag gewidmet.
Diese Arbeit ist als Dissertation von der Universität München angenommen worden.
Rights and permissions
About this article
Cite this article
Carstengerdes, W. Mehrsortige logische Systeme mit unendlich langen Formeln I. Arch math Logik 14, 38–53 (1971). https://doi.org/10.1007/BF01974148
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01974148