@Book{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     = "https://publikationen.badw.de/de/001150105",
}