Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
Eine Ebene nach oben
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Anzahl der Publikationen: 1 .

Zeitschriftenartikel

Buchholz, Wilfried; Pohlers, W. (1978): Provable wellorderings of formal theories for transfinitely iterated inductive definitions. In: Journal of symbolic logic, Vol. 43, Nr. 1: S. 118-125 [PDF, 1MB]

Diese Liste wurde am Fri Mar 24 05:15:20 2017 CET erstellt.