Lógica combinatoria/ Haskell B. Curry, Robert Feys; trad.Manuel Sacristan
Por: Curry, Haskell B
Colaborador(es): Feys, Robert
Tipo de material: TextoEditor: España : TECNOS, 1964Descripción: 508 pTema(s): LOGICA SIMBOLICA Y MATEMATICAClasificación CDD: 164 C87
Contenidos:
1. el teorema de Church - Rosser, -- 2.la teoría básica de la funcionalidad
Tipo de ítem | Ubicación actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro General | Biblioteca Central Campus Universitario | Colección General | 164 C87 (Navegar estantería) | Ej. 1 | Disponible (Acceso Libre) | 010979 |
incuye bibliografía e índice
1. el teorema de Church - Rosser, -- 2.la teoría básica de la funcionalidad
No hay comentarios en este titulo.