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