 | Up a level |
Group by: Item Type | Date
Jump to: Book Section
Number of items: 1.
Book Section
Buchholz, Wilfried (1975): Normalfunktion und konstruktive Systeme von Ordinalzahlen. In: Diller, Justus and Müller, Gert Heinz (eds.) , Springer lecture notes in mathematics - Proof theory symposium. Vol. 500. Springer. pp. 4-25