Geodesic
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.
Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 129-145.

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

@article{AMLG_1972__15_137875,
     author = {Helmut Schwichtenberg},
     title = {Beweistheoretische {Charakterisierung} einer {Erweiterung} der {Grzegorczyk-Hierarchie.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {129--145},
     publisher = {mathdoc},
     volume = {15},
     year = {1972},
     zbl = {0257.02021},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1972__15_137875/}
}
TY  - JOUR
AU  - Helmut Schwichtenberg
TI  - Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1972
SP  - 129
EP  - 145
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1972__15_137875/
ID  - AMLG_1972__15_137875
ER  - 
%0 Journal Article
%A Helmut Schwichtenberg
%T Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1972
%P 129-145
%V 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1972__15_137875/
%F AMLG_1972__15_137875
Helmut Schwichtenberg. Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.. Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 129-145. http://geodesic.mathdoc.fr/item/AMLG_1972__15_137875/