References
Math. Z.39 (1934).
Den entsprechenden Begriff hatGentzen verwendet in seiner Arbeit: Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Heft 4, 1938.
Vgl. hierzuHilbert-Bernays, Grundlagen der Mathematik, Bd. I, S. 72–82.
Vgl. die in Anmerkung1) zitierte Arbeit.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schütte, K. Schlußweisen-Kalküle der Prädikatenlogik. Math. Ann. 122, 47–65 (1950). https://doi.org/10.1007/BF01342950
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01342950