Geodesic
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.
Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 97-118

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

Zbl 
Gerhard Gentzen. Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.. Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 97-118. http://geodesic.mathdoc.fr/item/AMLG_1974__16_137887/
@article{AMLG_1974__16_137887,
     author = {Gerhard Gentzen},
     title = {Der erste {Widerspruchsfreiheitsbeweis} f\"ur die klassische {Zahlentheorie.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {97--118},
     year = {1974},
     volume = {16},
     zbl = {0286.02034},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1974__16_137887/}
}
TY  - JOUR
AU  - Gerhard Gentzen
TI  - Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1974
SP  - 97
EP  - 118
VL  - 16
UR  - http://geodesic.mathdoc.fr/item/AMLG_1974__16_137887/
ID  - AMLG_1974__16_137887
ER  - 
%0 Journal Article
%A Gerhard Gentzen
%T Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1974
%P 97-118
%V 16
%U http://geodesic.mathdoc.fr/item/AMLG_1974__16_137887/
%F AMLG_1974__16_137887