Lógica combinatoria - Curry, Haskell B. (Estructura y función / dirigida por enrique tierno Galván, 1967)