Literatur
Gentzen, G., 1934: Untersuchungen über das logische Schließen. Math. Z. 39.
Kleene, S. C., 1952: Indroduction to Metamathematics, New York.
Lorenzen, P., 1967: Formale Logik. Berlin, Sammlung Göschen.
Lorenzen, P., 1960: Metamathematik. Mannheim, BI-Hochschultaschenbücher.
Schütte, K., 1960: Beweistheorie. Berlin, Springer.
Zahn, P., 1967: Eine Einführung der reellen Zahlen in der operativen Mathematik ohne die Unterscheidung von Sprachschichten. Gießen, Selbstverlag des Math. Seminars.
Author information
Authors and Affiliations
Additional information
Herrn Professor Dr. Kurt Schütte zum 60. Geburtstag gewidmet
Rights and permissions
About this article
Cite this article
Zahn, P. Eine Verallgemeinerung des Hauptsatzes von Gentzen. Arch math Logik 12, 134–150 (1969). https://doi.org/10.1007/BF01969699
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01969699