Su búsqueda recuperó 2 resultados.

Resultados
		Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Pawe Urzyczyn por Sørensen, Morten Heine [autor] \| Urzyczyn, Pawe [autor]. Series Studies in logic and the foundations of mathematics ; v. 149Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boston, Massachusetts : Elsevier, 2006Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.54 S67, ... Agregar al carrito (remover)
		Relation algebras / Roger D. Maddux por Maddux, Roger D, 1948- [autor]. Series Studies in logic and the foundations of mathematics ; v. 150Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : Elsevier, 2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA10 M33. Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México
Facultad de Ingeniería. Anexo
Catálogo de la Biblioteca "Mtro. Enrique Rivero Borrell"