Logo
DeutschClear Cookie - decide language by browser settings
Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Jump to: Article | Monograph
Number of items: 3.

Article

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

Monograph

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

Buchholz, Wilfried and Schütte, K. (1980): Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis. München: Verlag der bayerischen Akademie der Wissenschaften [PDF, 2MB]

This list was generated on Sat Oct 25 09:06:13 2014 CEST.