Su búsqueda retornó 5 resultados.

Ordenar
Resultados
1.
Computability and logic / George S. Boolos, Richard Carl Jeffrey. por
Edición: 2a. ed.
Detalles de publicación: Cambridge : Cambridge University, 1980
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 B724 .
2.
Introduction to combinatorics and lambda calculus / J. Roger Hindley, Jonathan P. Seldin. por Series London Mathematical Society student texts ; v. 1
Detalles de publicación: Cambridge : Cambridge university, 1986
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 H662i .
3.
Introduction to combinatory logic / J. Roger Hindley, B. Lercher, Jonathan P. Seldin. por Series London Mathematical Society lecture note series ; v. 7
Detalles de publicación: Cambridge : Cambridge University, 1972
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 H662 .
4.
The unprobability of consistency : an essay in modal logic / George S. Boolos. por
Detalles de publicación: Cambridge : Cambridge University, 1979
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 B724u .
5.
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)