˜Eineœ beweistheoretische Abgrenzung des Teilsystems der Analysis mit ...-Separation und Bar-Induktion

Bibliographische Detailangaben

1. Verfasser:	Schütte, Kurt (VerfasserIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	München Verl. d. Bayer. Akad. d. Wiss. 1988
Schriftenreihe:	Bayerische Akademie der Wissenschaften <München> / Mathematisch-Naturwissenschaftliche Klasse: Sitzungsberichte 1987,2.
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!