Imagen de Google Jackets

Proofs and types / Jean-Yves Girard, Yves Lafont, Paul Taylor ; translated and with appendices by Paul Taylor, Yves Lafont.

Por: Colaborador(es): Series Cambridge tracts in theoretical computer science ; 7Detalles de publicación: Cambridge : Cambridge University, 1999.Descripción: xi, 176 p. : il. ; 26 cmTema(s):
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Estado Notas Fecha de vencimiento Código de barras Reserva de ítems
Libro Libro FaMAF Colección Andrés Raggio AR C F4.1 G517 Disponible Solicitar el Libro en SECCION PRESTAMO. 10521
Total de reservas: 0

Incluye referencias bibliográficas e índice.


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)