Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Su búsqueda recuperó 4 resultados.

Ordenar
Resultados
Foundations of mathematical logic.

por Curry, Haskell B. (Haskell Brooks), 1900-1982 [autor].

Series McGraw-Hill series in higher mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : McGraw-Hill, c1963Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 C8.

Foundations of mathematical logic / Haskell b. curry

por Curry, Haskell B. (Haskell Brooks), 1900-1982 [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Dover, c1977Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA9 C82, ...

Logica combinatoria / Haskell B. Curry, Robert Feys ; colaboración de William Craig ; traducción por Manuel Sacristan

por Curry, Haskell B. (Haskell Brooks), 1900-1982 [autor] | Feys, Robert, 1889- [autor].

Series Estructura y Funcion ; v. 24Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Madrid : Tecnos, 1967-9999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.5 C862.

To h. b. curry : Essays on combinatory logic, lambda calculus and formalism / Edited by j. p. seldin, j. r. hindley

por Seldin, Jonathan Paul [autor] | Hindley, J. Roger | Curry, Haskell B. (Haskell Brooks), 1900-1982.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : Academic, 1980Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 S44.

Páginas
¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad