Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz; Solomon Feferman ...

Mitwirkende(r):

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Lecture notes in mathematics ; 897Verlag: Berlin ; Heidelberg [u.a.] : Springer, 1981Beschreibung: V, 383 S. : graph. DarstISBN:

3540111700
0387111700

Schlagwörter:

Andere physische Formen: Erscheint auch als: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1981. Online-Ressource (VIII, 384 p, online resource)DDC-Klassifikation:

510
s
511
510 s
510 s 511 19

RVK: RVK: SI 850LOC-Klassifikation:

QA3
QA299.8

PPN: PPN: 024232785

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Mathematik	Bibliothek / frei aufgestellt	Lect. notes / 897	Verfügbar	36280504090

Anzahl Vormerkungen: 0