|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2016
Anzahl der Publikationen: 1
2016
Buchholz, Wilfried
(2016):
A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal.
In: Kahle, Reinhard; Strahm, Thomas und Studer, Thomas (Hrsg.):
Advances in Proof Theory. Progress in Computer Science and Applied Logic, Bd. 28. Cham: Birkhäuser. S. 1-29