Literatur
H. B. Curry, Foundations of Mathematical Logic, New York 1963.
G. Gentzen, Untersuchungen über das logische Schließen,Math. Zeischr. 39 (1934), S. 176–210, 405–431.
K. Lorenz, Arithmetik und Logik als Spiele, Kieler Diss. 1961.
P. Lorenzen, Einführung in die operative Logik und Mathematik, Berlin 1955.
P. Lorenzen, Metamathematik, Mannheim 1962.
Rights and permissions
About this article
Cite this article
v. Kutschera, F. Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik. Arch math Logik 11, 3–16 (1968). https://doi.org/10.1007/BF01973339
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01973339