Lógica combinatoria - Curry, Haskell B.; Feys, Robert; Craig, Williams (Madrid Tecnos, 1967)
Bibliografía: p. 467-477
Keywords: LÓGICA MATEMÁTICA