TY - BOOK
AU - Buchholz, Wilfried
T1 - Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion
CY - München
PY - 1984
T3 - Sitzungsberichte
VL - 1983,3
UR - https://publikationen.badw.de/en/000364796
ER -