@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/