01013nam0-22003731i-450-99000105999040332120070928115030.00-12-349050-2000105999FED01000105999(Aleph)000105999FED0100010599920001205d1980----km-y0itay50------baengGBTo H.B. Curryessays on combinatory logic, lambda calculus and formalismedited by J.P. Seldin, J.R. HindleyLondonAcademic Press1980xxv, 606 p.24 cmLogicaRicorsività160511.3Seldin,Jonathan PaulCurry,Haskell B.Hindley,James RogerITUNINARICAUNIMARCBK9900010599904033217-22811586FI102 21 B 193407FINBNFI1FINBNTo H.B. Curry340446UNINA