Vista normal
Vista MARC
Proofs and types / Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont
Tipo de material: TextoIdioma: SPA Lenguaje original: ENG Series Cambridge tracts in theoretical computer science ; 7Detalles de publicación: Cambridge : Cambridge University, 1989Descripción: xi, 176 p. ; 25 cmISBN:- 0-521-37181-3
- QA 303 P76.1989
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 303 P76.1989 (Navegar estantería(Abre debajo)) | Disponible | 178129 |
lrm, am, sm, mlmg
Incluye bibliografía e índice.