Categorical logic and type theory
Series Studies in Logic and the Foundations of Mathematics ; 141Detalles de publicación: New York, Estados Unidos Elsevier Science, c1999 1999Descripción: xvii, 760 p. 24 cmISBN:- 0-444-50853-8
- 511.3/J151c
Tipo de ítem | Biblioteca actual | Colección | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|---|
Libro | Sede Quito Primer piso | Col General | 511.3/J151c (Navegar estantería(Abre debajo)) | V.1 | Ej.1 | Disponible | PUCE185997 |
Total de reservas: 0
Bibliografía: p. 717-733
No hay comentarios en este titulo.