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: 1983 | 1980 | 1976
Number of items: 3.

1983

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]

1980

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]

1976

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]

This list was generated on Thu Oct 30 20:05:19 2014 CET.