Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Buchholz, Wilfried (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: München Verl. d. Bayer. Akad. d. Wiss. 1984
Schriftenreihe:Bayerische Akademie der Wissenschaften <München> / Mathematisch-Naturwissenschaftliche Klasse: Sonderdruck aus den Sitzungsberichten 1983,3
Online-Zugang:Volltext
Beschreibung:S. 99-132
ISBN:3769647068

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen