TY  - BOOK
AU  - Curry,Haskell Brooks
AU  - Craig,William
AU  - Feys,Robert
TI  - Lógica combinatoria
T2  - Estructura y función
U1  - 511.3 
PY  - 1967///
CY  - Madrid
PB  - Tecnos
KW  - Lógica matemática
KW  - Lógica
N1  - Incluye bibliografía; Tít. orig.: Combinatory logic
ER  -