Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / ed. Wilfried Buchholz.
Series Lecture notes in mathematics ; v. 897 | LNM ; v. 897Detalles de publicación: Berlin : Springer, 1981.Descripción: v, 383 p. : il. ; 25 cmISBN:- 0387111700 ;
- 3540111700
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | M LNM v. 897 | Disponible | 09056 |
Total de reservas: 0
Bibliography: p. [358]-368.