@book{id_6601,
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",
publisher = "Verl. d. Bayer. Akad. d. Wiss.",
series = "Sitzungsbericht der Bayerischen Akademie der Wissenschaften",
volume = "1987,2.",
isbn = "3-7696-4720-3",
url = "http://publikationen.badw.de/de/001150105",
}