Su búsqueda retornó 5 resultados.

Resultados
		Categories for the working mathematician por Mac Lane, Saunders, 1909- Series Graduate Texts in Mathematics ; 5 Edición: 2a. Ed. Detalles de publicación: New York, Estados Unidos Springer, c1998 1998 Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 512.55/M115c/1998. Hacer reserva Agregar al carrito (remover)
		Categorical logic and type theory por Jacobs, Bart Series Studies in Logic and the Foundations of Mathematics ; 141 Detalles de publicación: New York, Estados Unidos Elsevier Science, c1999 1999 Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 511.3/J151c. Hacer reserva Agregar al carrito (remover)
		Category theory por Awodey, Steve Series Oxford Logic Guides ; 52 Edición: 2a. Ed. Detalles de publicación: Oxford, Estados Unidos Oxford University Press, c2010 2010 Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 512.55/Aw61c/2010. Hacer reserva Agregar al carrito (remover)
		Categories for types por Crole, Roy L Series Cambridge Mathematical Textbooks Detalles de publicación: Cambridge, England Cambridge University Press, c1993 1993 Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 512.55/C879c. Hacer reserva Agregar al carrito (remover)
		Introduction to higher order categorical logic /J. Lambek, P. J. Scott por Lambek, J Scott, P. J Series Cambridge Studies in Advanced Mathematics ; 7 Detalles de publicación: Cambridge, England Cambridge University Press, c1986 1986 Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 512.55/L171i. Hacer reserva Agregar al carrito (remover)

Recursos

Repositorio

Herramienta

Guias

Normativa

Nuestras Alianzas

Banner_fin