Publisher
Springer International Publishing
Reference6 articles.
1. Wilhelm Ackermann. Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse. Mathematische Zeitschrift, 53:403–413, 1951.
2. Michael Rathjen. Beweistheorie: Ausgewahlte Kapitel. Lectures on Proof theory (selected topics), Winter semester 1990, Universitat Munster, 1990.
3. Michael Rathjen and AndreasWeiermann. Proof-theoretic investigations on Kruskal’s theorem. Annals of Pure and Applied Logic, 60:49–88, 1993.
4. Kurt Schutte. Kennzeichnung von Ordnungszahlen durch rekursiv definierte Funktionen. Mathematische Annalen, 127:16–32, 1954.
5. Kurt Schutte. Beweistheorie. Springer, 1960.