TY  - BOOK
AU  - Curry, Haskell B
AU  - Feys, Robert
TI  - Lógica combinatoria
AV  - QA 9.5 C8718.1967
U1  - 511/.3 
PY  - 1967///
CY  - Madrid
PB  - Tecnos
KW  - Lógica combinatoria
N1  - Traducción de: Combinatory logic; Incluye apéndices e índice; Bibliografía: p. [467]-477
ER  -