@article{GDZPPN002376741, title = {Die Widerspruchsfreiheit der Stufenlogik}, journal = {Mathematische Zeitschrift}, volume = {40}, year = {1936}, pages = {357-366}, zbl = {0015.19302}, url = {http://dml.mathdoc.fr/item/GDZPPN002376741} }
Gentzen, Gr. Die Widerspruchsfreiheit der Stufenlogik. Mathematische Zeitschrift, Tome 40 (1936) pp. 357-366. http://gdmltest.u-ga.fr/item/GDZPPN002376741/