Mathematische Zeitschrift

, Volume 41, Issue 1, pp 357–366

Die Widerspruchsfreiheit der Stufenlogik

Authors

  • Gerhard Gentzen
Article

DOI: 10.1007/BF01180425

Cite this article as:
Gentzen, G. Math Z (1936) 41: 357. doi:10.1007/BF01180425

Copyright information

© Springer-Verlag 1936