TY  - BOOK
AU  - Seldin, Jonathan Paul,
AU  - Hindley, J. Roger
AU  - Curry,Haskell B.
TI  - To h. b. curry: Essays on combinatory logic, lambda calculus and formalism 
SN  - 0123490502
AV  - QA9 S44
PY  - 1980///
CY  - London
PB  - Academic
KW  - Lógica simbólica y matemática
ER  -