@Book{Buchholz1984,
author  = "Buchholz, Wilfried",
title   = "Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion",
year    = "1984",
address = "München",
series  = "Sitzungsberichte",
volume  = "1983,3",
url     = "https://publikationen.badw.de/en/000364796",
}