Logo
DeutschClear Cookie - decide language by browser settings
Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Jump to: 1983 | 1976
Number of items: 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: pp. 179-190 [PDF, 900kB]

This list was generated on Sat Apr 30 20:51:09 2016 CEST.