Vista normal Vista MARC Vista ISBD

Curry, Haskell B.

Lógica combinatoria / por Haskell B. Curry y Robert Feys ; colab. William Craig. - 508 páginas ; 24 cm. - Estructura y función ; 24 .

Subjects--Topical Terms:
Lógica simbólica y matemática.
Lógica matemática

LC Class. No.: BC135 / .C8718 1967