Lógica combinatoria
Haskell B. Curry y Robert Feys; colaboración de William Craig; traducción : Manuel Sacristan.
- Madrid Editorial Tecnos 1967.
- 508 p.
Translation of : Combinatory logic.
fel21000301 //r842
Logic, Symbolic and mathematical Combinatory logic.