Logo Logo
[höher] Eine Ebene höher
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1

Zeitschriftenartikel

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

Diese Liste wurde am Sat Mar 8 22:34:28 2025 CET erstellt.

Open Access LMU verwendet EPrints 3, das an der School of Electronics and Computer Science der Universität Southampton entwickelt wurde.
Impressum − Datenschutz