> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies Beteiligte: Buchholz, Wilfried [Mitarb.]; Feferman, Solomon [Hrsg.] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1981 Erschienen in: Lecture notes in mathematics ; 897 Umfang: V, 383 S.; graph. Darst Sprache: Englisch ISBN: 3540111700; 0387111700 RVK-Notation: SI 850 : Lecture notes in mathematics Schlagwörter: Beweistheorie Induktive Definition > Beweistheorie Entstehung: Anmerkungen: Literaturverz. S. 358 - 368 Weitere Bestandsnachweise 0 : Lecture notes in mathematics <Berlin>