LOGICA COMBINATORIA - Curry, Haskell B. (FILOSOFIA;, 1967)
TRADUCCION DE: COMBINATORY LOGIC