Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gentzen, G. Die Widerspruchsfreiheit der Stufenlogik. Math Z 41, 357–366 (1936). https://doi.org/10.1007/BF01180425
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF01180425