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
PB - Verl. d. Bayer. Akad. d. Wiss.
T3 - Sitzungsbericht der Bayerischen Akademie der Wissenschaften
VL - 1987,2.
UR - http://publikationen.badw.de/de/001150105
SN - 3-7696-4720-3