Lógica combinatoria - Curry, Haskell B. (Estructura y función., 1967)