Lógica combinatoria - Curry, Haskell B. (Edit.Tecnos, 1967)
Colección dirigida por: Enrique Tierno Galvan