Mathematische Zeitschrift

, Volume 41, Issue 1, pp 357–366

Die Widerspruchsfreiheit der Stufenlogik

  • 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

Authors and Affiliations

  • Gerhard Gentzen
    • 1
  1. 1.Göttingen