Lógica combinatoria - Curry, Haskell B. (Serie de filosofía, 1967)