BAdW

Publikationen
im Netz

Zum Seitenanfang ↑
Permalink zu dieser Seite: https://publikationen.badw.de/de/000364796
Autor(en): Buchholz, Wilfried
Titel: Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion
Ort: München
Jahr: 1984
Reihe: Sitzungsberichte
Bandnummer: 1983,3
Katalogeintrag: https://gateway-bayern.de/BV000364796

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 - GEN
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
@misc{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",
}