Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz; Solomon Feferman ...
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in mathematics ; 897Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1981Description: V, 383 S. : graph. DarstISBN:- 3540111700
- 0387111700
- 510
- s
- 511
- 510 s
- 510 s 511 19
- QA3
- QA299.8
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Lect. notes / 897 | Available | 36280504090 |
Total holds: 0