Lógica combinatoria - Curry, Haskell B. (Tecnos, 1967)