Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies/ Wilfried Buchholz ... [et al.].
Series: Lecture notes in mathematics (Springer-Verlag) ; 897.Publication details: Berlin ; New York: Springer-Verlag, 1981.Description: v, 383 p.: ill.; 25 cmISBN:- 0387111700 (U.S. : pbk.)
- 510 s 511
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Castorina Estantes Abertas (Open Shelves) | Coleções de Monografias (Monographs Collections) | 1 | Available | 39063000237258 |
Includes index.
Bibliography: p. [358]-368.
There are no comments on this title.