LEADER 01013nam0-22003731i-450- 001 990001059990403321 005 20070928115030.0 010 $a0-12-349050-2 035 $a000105999 035 $aFED01000105999 035 $a(Aleph)000105999FED01 035 $a000105999 100 $a20001205d1980----km-y0itay50------ba 101 0 $aeng 102 $aGB 200 1 $aTo H.B. Curry$eessays on combinatory logic, lambda calculus and formalism$fedited by J.P. Seldin, J.R. Hindley 210 $aLondon$cAcademic Press$d1980 215 $axxv, 606 p.$d24 cm 610 0 $aLogica 610 0 $aRicorsività 676 $a160 676 $a511.3 702 1$aSeldin,$bJonathan Paul 702 1$aCurry,$bHaskell B. 702 1$aHindley,$bJames Roger 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001059990403321 952 $a7-228$b11586$fFI1 952 $a02 21 B 19$b3407$fFINBN 959 $aFI1 959 $aFINBN 996 $aTo H.B. Curry$9340446 997 $aUNINA