Publikationen
im Netz

Zitierformate

Barer Text als Datei

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/de/000364796

RIS als Datei

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/de/000364796
ER -

BibTex als Datei

@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/de/000364796",
}