Vista normal
Vista MARC
Introduction to higher order categorical logic / J. Lambek, P. J. Scott
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 0-521-35653-9
- QA 169 L35
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 169 L35 (Navegar estantería(Abre debajo)) | Disponible | 170317 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
No hay imagen de cubierta disponible | ||||||||
QA 167 P47.2007 Combinatoria / | QA 169 A7 Arrows, structures, and functors : the categorical imperative / | QA 169 B35 Algebraic K-theory / | QA 169 L35 Introduction to higher order categorical logic / | QA 169 L35518.2002 Matemáticas conceptuales : una primera introducción a categorías / | QA 169 L35518.2002 Matemáticas conceptuales : una primera introducción a categorías / | QA 169 L35518.2002 Matemáticas conceptuales : una primera introducción a categorías / |
Incluye bibliografía e índice.