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
- 510
- s
- 511
- 510 s
- 510 s 511 19
- QA3
- QA299.8
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Lect. notes / 897 | Verfügbar | 36280504090 |
Anzahl Vormerkungen: 0