Die Widerspruchsfreiheit der Stufenlogik
Gentzen, Gr.
Mathematische Zeitschrift, Tome 40 (1936), p. 357-366 / Harvested from Göttinger Digitalisierungszentrum
Publié le : 1936-01-01
EUDML-ID : urn:eudml:doc:168669
@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/