Publikationen

Zitierformate

Barer Text als Datei

Schütte, Kurt: Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Pi-1/2-Separation und Bar-Induktion. München 1987. Sitzungsberichte: 1987,2. http://publikationen.badw.de/de/001150105

RIS als Datei

TY - GEN
AU - Schütte, Kurt
T1 - Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Pi-1/2-Separation und Bar-Induktion
CY - München
PY - 1987
T3 - Sitzungsberichte
VL - 1987,2
UR - http://publikationen.badw.de/de/001150105
ER -

BibTex als Datei

@misc{Schütte1987,
author  = "Schütte, Kurt",
title   = "Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Pi-1/2-Separation und Bar-Induktion",
year    = "1987",
address = "München",
series  = "Sitzungsberichte",
volume  = "1987,2",
url     = "http://publikationen.badw.de/de/001150105",
}