Computation and proof theory / ed. Michael M. Richter.
Series Lecture notes in mathematics ; v. 1104 | LNM ; v. 1104Detalles de publicación: Berlin : Springer, 1984.Descripción: viii, 475 p. ; 25 cmISBN:- 038713901X
- 354013901X
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. 1104 | Disponible | 07830 |
Total de reservas: 0