Curry, Haskell B.  1900-1982, <br/><br/>
Logica combinatoria / 
Haskell B. Curry, Robert Feys ; colaboración de William Craig ; traducción por Manuel Sacristan 
 - volúmenes 
 - Estructura y Funcion ;  v. 24 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica combinatoria
<br/><br/><label>LC Class. No.: </label>QA9.5  / C862