Geodesic
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.
Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 119-132

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

Zbl 
Gerhard Gentzen. Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.. Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 119-132. http://geodesic.mathdoc.fr/item/AMLG_1974__16_137888/
@article{AMLG_1974__16_137888,
     author = {Gerhard Gentzen},
     title = {\"Uber das {Verh\"altnis} zwischen intuitionistischer und klassischer {Arithmetik.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {119--132},
     year = {1974},
     volume = {16},
     zbl = {0286.02035},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1974__16_137888/}
}
TY  - JOUR
AU  - Gerhard Gentzen
TI  - Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1974
SP  - 119
EP  - 132
VL  - 16
UR  - http://geodesic.mathdoc.fr/item/AMLG_1974__16_137888/
ID  - AMLG_1974__16_137888
ER  - 
%0 Journal Article
%A Gerhard Gentzen
%T Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1974
%P 119-132
%V 16
%U http://geodesic.mathdoc.fr/item/AMLG_1974__16_137888/
%F AMLG_1974__16_137888