Su búsqueda retornó 2 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
Topology via logic / Steven Vickers por Series Cambridge tracts in theoretical computer science
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Cambridge : Cambridge University, 1989
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 611 V53.1989.

Hacer reserva
Proofs and types / Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont por Series Cambridge tracts in theoretical computer science ; 7
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: SPA Lenguaje original: ENG
Detalles de publicación: Cambridge : Cambridge University, 1989
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 303 P76.1989.

Hacer reserva
Páginas