TY  - BOOK
AU  - Curry,Haskell B.
AU  - Feys,Robert
TI  - Lógica combinatoria
AV  - QA9.5 .C8718 1967
U1  - 511/.3 
PY  - 1967///
CY  - Madrid
PB  - Editorial Tecnos
KW  - Logic, Symbolic and mathematical
KW  - Local
KW  - Combinatory logic
N1  - Translation of : Combinatory logic
ER  -