LEADER 01578nam0-2200433---450 
001 990005603080203316
005 20211215123623.0
035   $a000560308
035   $aUSA01000560308
035   $a(ALEPH)000560308USA01
035   $a000560308
100   $a19981214d1975----|||y0itaa50------ba
101   $aita
102   $ait
105   $a0 00|||
200 1 $aIntroduzione alla logica combinatoria$fJ. R. Hindley, Bruce Lercher, J. P. Seldin$g[trad. di Ferdinando Azzarello]
210   $aTorino$cBoringhieri$d1975
215   $a153 p.$d21 cm
225 2 $aTesti e manuali della scienza contemporanea. Serie di logica matematica$fdiretta da Corrado Mangione
300   $aTrad. di: Introduction to combinatory logic
410  0$12001$aTesti e manuali della scienza contemporanea. Serie di logica matematica
454   $1001SA0006995$12001$aIntroduction to combinatory logic$fJ. R. Hindley, Bruce Lercher, J. P. Seldin.$950411
606   $aLogica combinatoria$2F
620   $dTORINO
676   $a511.3
700  1$aHINDLEY,$bJ. Roger$046028
701  1$aLERCHER,$bBruce$047739
701  1$aSELDIN,$bJonathan Paul$054730
702  1$aAZZARELLO,$bFerdinando
801  0$aIT$bSA$c20111219
912   $a990005603080203316
950  0$aDipar.to di Filosofia - Salerno$dDFF.V. HIN (300)$e2209 FIL
951   $aXV.17. 238  (F.V. HIN) (300)$b2209 FIL$cXV.17$d462381
959   $aBK
969   $aFVER
979   $c20121027$lUSA01$h1525
979   $c20121027$lUSA01$h1614
996   $aIntroduction to combinatory logic$950411
997   $aUNISA