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  -