Literatur
1954 - Copi, I., Symbolic Logic, New York.
1934 - Gentzen, G., Untersuchungen über das natürliche Schlie\en.Mathematische Zeitschrift, Bd.39, S. 176–210, S. 450–431.
1956 - Gumin, G. und Hermes, H., Die Soundness des PrÄdikatenkalküls auf der Basis der Quineschen Regeln.Archiv f. mathematische Logik, Bd.2 (1956), S. 68–77.
1957 - Hermes, H., Einführung in die mathematische Logik, Münster.
1952 - Kleene, St. C., Introduction to Metamathematics. Amsterdam.
1955 - Lorenzen, P., Einführung in die operative Logik und Mathematik. Berlin.
1950 - Quine, W. V., Methods of Logic. New York.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Stegmüller, W. Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH . Arch math Logik 8, 3–27 (1965). https://doi.org/10.1007/BF01987832
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01987832