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: Monograph | Article
Number of items: 2.

Monograph

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]

Article

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 Thu May 26 06:57:56 2016 CEST.