Seldin, Jonathan Paul, <br/><br/>
To h. b. curry :  Essays on combinatory logic, lambda calculus and formalism / 
Edited by j. p. seldin, j. r. hindley 
 - 606 páginas 
<br/><br/><label>ISBN: </label>0123490502 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica simbólica y matemática
<br/><br/><label>LC Class. No.: </label>QA9  / S44