Curry, Haskell B. <br/><br/>
Lógica combinatoria /  
Haskell B. Curry y Robert Feys ; tr. de Manuel Sacristán 
 - Madrid :   Edit. Tecnos,   1967 
 - 508 p. ;   23 cm. 
 - (Estructura y Función) .
<br/><br/>Bibliografía: p. 467-480 
<br/><br/>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  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logica simbolica | Logica matematica
<br/><br/><label>Dewey Class. No.: </label>511.3/  / C95