Lógica combinatoria / Haskell B. Curry y Robert Feys ; tr. de Manuel Sacristán
Por: Curry, Haskell B.
Colaborador(es): Feys, Robert.
Tipo de material:
LibroSeries (Estructura y Función).Editor: Madrid : Edit. Tecnos, 1967Descripción: 508 p. ; 23 cm.Tema(s): Logica simbolica | Logica matematicaClasificación CDD: 511.3/
Contenidos:
Sistemas formales - Epiteoría - Conversión Lamda - El teorema de chuch - rosser - Teoría intuitiva de combinadores - Teoría sintética de combinadores - Fundamentos lógicos - Introducción a la lógica combinatoria ilativa - La teoría básica de la funcionalidad - Las teorías fuertes de la funcionalidad
| Tipo de ítem | Ubicación actual | Ubicación en estantería | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central | Colección General (1er. piso) | 511.3/ C95 (Navegar estantería) | Ej.1 | Disponible | 00072952 | BC/G00072952 | |
|
Libros
|
Biblioteca Central | Colección General (1er. piso) | 511.3/ C95 (Navegar estantería) | Ej.2 | Disponible | 00072953 | BC/G00072953 |
Navegando Biblioteca Central Estantes , Ubicación: Colección General (1er. piso) Cerrar el navegador de estanterías
| 511.3/ C27 Teoría de conjuntos y números naturales / | 511.3/ C27 Teoría de conjuntos y números naturales / | 511.3/ C27 Teoría de conjuntos y números naturales / | 511.3/ C95 Lógica combinatoria / | 511.3/ C95 Lógica combinatoria / | 511.3/ Ch42 Lógica y teoría de conjuntos / | 511.3/ Ch42 Lógica y teoría de conjuntos / |
Bibliografía: p. 467-480
Sistemas formales - Epiteoría - Conversión Lamda - El teorema de chuch - rosser - Teoría intuitiva de combinadores - Teoría sintética de combinadores - Fundamentos lógicos - Introducción a la lógica combinatoria ilativa - La teoría básica de la funcionalidad - Las teorías fuertes de la funcionalidad
No hay comentarios para este ejemplar.