LEADER 01565nam  2200421   450 
001 000009032
005 20050718115300.0
100   $a20011204d1975----km-y0itay0103----ba
101 0 $aita
102   $aIT
200 1 $aIntroduzione alla logica combinatoria$fJ. R. Hindley, Bruce Lercher, J. P. Seldin$g[Traduzione di Ferdinando Azzarello]
210   $aTorino$cBoringhieri$d1975
215   $a153 p.$d21 cm
225 1 $aTesti e manuali della scienza contemporanea$iSerie di logica matematica
304   $aTit. orig. : Introduction to combinatory logic
606   $aLogica matematica
676   $a511.3$v(20. ed.)$9Logica matematica (Logica simbolica)
700  1$aHindley,$bJames Roger$046028
701  1$aSeldin,$bJonathan Paul$054730
701  1$aLercher,$bBruce$047739
702  1$aAzzarello,$bFerdinando
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000009032
996   $aIntroduction to combinatory logic$950411
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aMONOGR
BAS   $aSCIENZE
CAT   $aSTD004$b01$c20011204$lBAS01$h1019
CAT   $aTORRE$b20$c20011210$lBAS01$h1102
CAT   $aTORRE$b20$c20011210$lBAS01$h1102
CAT   $c20050601$lBAS01$h1754
CAT   $abatch$b01$c20050718$lBAS01$h1050
CAT   $c20050718$lBAS01$h1109
CAT   $c20050718$lBAS01$h1139
CAT   $c20050718$lBAS01$h1153
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2DID$BDidattica$3PTS.s3.p28.29$654736$5S54736$820011204$f04$FPrestabile Didattica