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

1983

Buchholz, Wilfried; 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]

1976

Buchholz, Wilfried; 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 Wed Apr 26 05:34:05 2017 CEST erstellt.