Beweistheoretische Abgrenzung von Teilsystemen der Analysis. Kurt Schütte (1980) Monatshefte für Mathematik