Su búsqueda recuperó 2 resultados.

Resultados
		Advances in linear logic / ed. by Jean-Yves Girard, Yves Lafont, Laurent Regnier por Girard, Jean-Yves [editor] \| Lafont, Yves [editor] \| Regnier, Laurent [editor] \| University of Cambridge \| Linear Logic Workshop (1993 : Mathematical Science Institute, Cornell University). Series London Mathematical Society lecture note series ; 222Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 A38. Hacer reserva Agregar al carrito (remover)
		Proof theory and logical complexity / Jean-Yves Girard por Girard, Jean-Yves [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Napoli : Bibliopolis, 1987-9999Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.54 G57, ... Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"