TY - GEN
AU - Buchholz, Wilfried
T1 - Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion
CY - München
PY - 1983
PB - Verl. d. Bayer. Akad. d. Wiss.
T3 - Sitzungsbericht der Bayerischen Akademie der Wissenschaften
VL - 1983,3
UR - http://publikationen.badw.de/de/000364796
SN - 3-7696-4706-8