Curry, Haskell B.

Lógica combinatoria Haskell B. Curry y Robert Feys; colaboración de William Craig; traducción : Manuel Sacristan. - Madrid Editorial Tecnos 1967. - 508 p.

Translation of : Combinatory logic.

fel21000301 //r842


Logic, Symbolic and mathematical
Combinatory logic.

QA9.5 / .C8718 1967

511/.3