Logo Logo
Eine Ebene nach oben
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Anzahl der Publikationen: 2 .

Monographie

Buchholz, Wilfried und Schütte, K. (1983): Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion. München: Verlag der Bayerischen Akademie der Wissenschaften. [PDF, 1MB]

Zeitschriftenartikel

Buchholz, Wilfried und Schütte, K. (1976): Die Beziehungen zwischen den Ordinalsystemen und. In: Archiv für mathematische Logik und Grundlagenforschung, Vol. 17: S. 179-190 [PDF, 900kB]

Diese Liste wurde am Sun Jul 23 12:58:41 2017 CEST erstellt.