TY - BOOK 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 - https://publikationen.badw.de/de/001150105 ER -