El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
|a Lógica combinatoria /
|c Haskell B. Curry, Robert Feys ; colaboración de William Craig ; trad. de Manuel Sacristán.
260
|a Madrid :
|b Tecnos,
|c 1967.
300
|a 508 p. ;
|c 24 cm.
490
0
|a Estructura y función ;
|v 24
500
|a Bibliografía: p. 467-477
505
0
|a Sistemas formales. Epiteoría. Conversión lambda. El teorema de Church-Rosser. Teoría intuitiva de combinadores. Teoría sintética de combinadores. Fundamentos logísticos. Introducción a la lógica combinatoria ilativa. La teoría básica de la funcionalidad. Las teorías fuertes de la funcionalidad