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

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

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

This list was generated on Mon Jul 28 06:15:28 2014 CEST.