@book{id_6548,
author = "Buchholz, Wilfried",
title = "Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion",
year = "1983",
address = "München",
publisher = "Verl. d. Bayer. Akad. d. Wiss.",
series = "Sitzungsbericht der Bayerischen Akademie der Wissenschaften",
volume = "1983,3",
isbn = "3-7696-4706-8",
url = "http://publikationen.badw.de/de/000364796",
}