Citation formats
- Plain Text as file
- Buchholz, Wilfried: Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion. München 1984. Sitzungsberichte: 1983,3. https://publikationen.badw.de/en/000364796
- RIS as file
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 -
- BibTex as file
@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", }