Su búsqueda retornó 5 resultados.

Ordenar
Resultados
1.
The lambda calculus : Its syntax and semantics / Hendrik Pieter Barendregt. por Series Studies in logic and the foundations of mathematics ; v. 103
Edición: 1a. ed. rev.
Detalles de publicación: Amsterdam : North-Holland, 1984
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 B248 .
2.
Techniques ordinales en analyse des donnees / Marc Barbut, Louis Frey. por Series Méthodes mathématiques des sciences de l'homme
Detalles de publicación: Paris : Hachette, 1971
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 05 B241 v.1.
3.
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 .
4.
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 .
5.
The calculus of lambda-conversion / by Alonzo Church. por Series Annals of mathematics studies ; no. 6
Detalles de publicación: Princeton : Princeton University, 1941
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AR M 03 CH561 .
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)