Geodesic
Die Widerspruchsfreiheit der Stufenlogik
Mathematische Zeitschrift, Tome 41 (1936), pp. 357-366

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : Foundations, philosophy, logic 
@article{MZ_1936__41_168669,
     author = {Gr. Gentzen},
     title = {Die {Widerspruchsfreiheit} der {Stufenlogik}},
     journal = {Mathematische Zeitschrift},
     pages = {357--366},
     publisher = {mathdoc},
     volume = {41},
     year = {1936},
     zbl = {0015.19302},
     url = {http://geodesic.mathdoc.fr/item/MZ_1936__41_168669/}
}
TY  - JOUR
AU  - Gr. Gentzen
TI  - Die Widerspruchsfreiheit der Stufenlogik
JO  - Mathematische Zeitschrift
PY  - 1936
SP  - 357
EP  - 366
VL  - 41
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZ_1936__41_168669/
ID  - MZ_1936__41_168669
ER  - 
%0 Journal Article
%A Gr. Gentzen
%T Die Widerspruchsfreiheit der Stufenlogik
%J Mathematische Zeitschrift
%D 1936
%P 357-366
%V 41
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZ_1936__41_168669/
%F MZ_1936__41_168669
Gr. Gentzen. Die Widerspruchsfreiheit der Stufenlogik. Mathematische Zeitschrift, Tome 41 (1936), pp. 357-366. http://geodesic.mathdoc.fr/item/MZ_1936__41_168669/