Geodesic
Beweistheoretische Abgrenzung von Teilsystemen der Analysis.
Monatshefte für Mathematik, Tome 90 (1980), pp. 1-12.

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

Mots-clés : proof theory, proof theoretic ordinals 
@article{MOMA_1980__90_177977,
     author = {Kurt Sch\"utte},
     title = {Beweistheoretische {Abgrenzung} von {Teilsystemen} der {Analysis.}},
     journal = {Monatshefte f\"ur Mathematik},
     pages = {1--12},
     publisher = {mathdoc},
     volume = {90},
     year = {1980},
     zbl = {0434.03040},
     url = {http://geodesic.mathdoc.fr/item/MOMA_1980__90_177977/}
}
TY  - JOUR
AU  - Kurt Schütte
TI  - Beweistheoretische Abgrenzung von Teilsystemen der Analysis.
JO  - Monatshefte für Mathematik
PY  - 1980
SP  - 1
EP  - 12
VL  - 90
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MOMA_1980__90_177977/
ID  - MOMA_1980__90_177977
ER  - 
%0 Journal Article
%A Kurt Schütte
%T Beweistheoretische Abgrenzung von Teilsystemen der Analysis.
%J Monatshefte für Mathematik
%D 1980
%P 1-12
%V 90
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MOMA_1980__90_177977/
%F MOMA_1980__90_177977
Kurt Schütte. Beweistheoretische Abgrenzung von Teilsystemen der Analysis.. Monatshefte für Mathematik, Tome 90 (1980), pp. 1-12. http://geodesic.mathdoc.fr/item/MOMA_1980__90_177977/