Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
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
[img]
Vorschau

PDF

1MB