Vista normal Vista MARC Vista ISBD

Curry, Haskell B. 1900-1982,

Logica combinatoria / Haskell B. Curry, Robert Feys ; colaboración de William Craig ; traducción por Manuel Sacristan - volúmenes - Estructura y Funcion ; v. 24 .

Subjects--Topical Terms:
Lógica combinatoria

LC Class. No.: QA9.5 / C862