Su búsqueda retornó 2 resultados.

Ordenar
Resultados
1.
Proof theory and logical complexity / Jean-Yves Girard. por Series Studies in proof theory. Monographs ; v. 1
Detalles de publicación: Napoli : Bibliopolis, 1987
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4.1 G517p v.1, ...
2.
Proofs and types / Jean-Yves Girard, Yves Lafont, Paul Taylor ; translated and with appendices by Paul Taylor, Yves Lafont. por Series Cambridge tracts in theoretical computer science ; 7
Detalles de publicación: Cambridge : Cambridge University, 1999
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR C F4.1 G517 .
Páginas


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)