LEADER 01317nam--2200385---450- 001 990001670430203316 005 20050613162647.0 035 $a000167043 035 $aUSA01000167043 035 $a(ALEPH)000167043USA01 035 $a000167043 100 $a20040517d1975----km-y0itay0103----ba 101 0 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aIntroduzione alla logica combinatoria$fJ. R. Hindley, Bruce Lercher, J. P. Seldin 210 $aTorino$cBoringhieri$d1975 215 $a153 p.$d24 cm 225 2 $aTesti e manuali della scienza contemporanea$iSerie di logica matematica 410 0$12001$aTesti e manuali della scienza contemporanea$iSerie di logica matematica 454 1$12001$aIntroduction to combinatory logic$923432 461 1$1001-------$12001 700 1$aHINDLEY,$bJ. R.$0561899 701 1$aLERCHER,$bBruce$047739 701 1$aSELDIN,$bJ. P.$054730 801 0$aIT$bsalbc$gISBD 912 $a990001670430203316 951 $aII.6. Coll.2/ 2a(IV C coll.211/4)$b76699 L.M.$cIV C coll. 951 $aII.6. Coll.2/ 2(IV C coll.211/2)$b67733 LM$cIV C 959 $aBK 969 $aUMA 979 $aSIAV3$b10$c20040517$lUSA01$h1702 979 $aCOPAT5$b90$c20050613$lUSA01$h1626 996 $aIntroduction to combinatory logic$923432 997 $aUNISA