Introduction to higher order categorical logic / J. lambek, p. j. Scott
Tipo de material:
Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
![]() |
Libros Libros | Coleccion General | QA169 L35 (Navegar estantería(Abre debajo)) | 1 | Disponible | 91310 | ||
![]() |
Libros Libros | Coleccion General | QA169 L35 (Navegar estantería(Abre debajo)) | 1 | Disponible | 57138 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
QA169 K37 Categories and sheaves / | QA169 K44 Basic concepts of enriched category theory / | QA169 L35 Introduction to higher order categorical logic / | QA169 L35 Introduction to higher order categorical logic / | QA169 L3918 Matematicas conceptuales : | QA169 M317 Sheaves in geometry and logic : | QA169 M32 Categories for the working mathematician / |
No hay comentarios en este titulo.