LEADER 01007nam--2200337---450-
001 990003224130203316
005 20090422104004.0
035   $a000322413
035   $aUSA01000322413
035   $a(ALEPH)000322413USA01
035   $a000322413
100   $a20090422d1971----km-y0itay50------ba
101   $aeng
102   $aUS
105   $aa---||||001yy
200 1 $a<<A>>programmer's introduction to computability and formal languages$fKurki-Suonio Reino
210   $aPrinceton$cAuerbach$d1971
215   $a140 p.$cill.$d22 cm
225 2 $aStudentlitteratur
410  0$12001$aStudentlitteratur
606 0 $aLogica matematica
676   $a511.3
700  1$aKURKI-SUONIO,$bReino$0603722
801  0$aIT$bsalbc$gISBD
912   $a990003224130203316
951   $a511.3 KUR$b7396/CBS$c511.3$d00216495
959   $aBK
969   $aSCI
979   $aRSIAV6$b90$c20090422$lUSA01$h1040
996   $aProgrammer's introduction to computability and formal languages$91011718
997   $aUNISA

LEADER 01022nam a2200277 i 4500
001 991000321549707536
005 20020506125202.0
008 930721s1991    be            ||| | fre  
020   $a2804006557 (Labor)
020   $a2868696600 (Actes Sud)
035   $ab10684062-39ule_inst
035   $aEXGIL143482$9ExL
040   $aBiblioteca Interfacoltà$bita
100 1 $aCurvers, Alexis$0444461
245 10$aTempo di Roma :$broman /$cAlexis Curvers ; préface de Jacques Peuchmaurd ; lecture de Véronique Jago-Antoine
260   $aArles :$bActes Sud ; Bruxelles : Labor,$cc1991
300   $a503 p. ;$c18 cm.
490 0 $aBabel ;$v27
700 1 $aJago-Antoine, Véronique
700 1 $aPeuchmaurd, Jacques
907   $a.b10684062$b23-02-17$c28-06-02
912   $a991000321549707536
945   $aLE002 Lett. II D 14$g1$i2002000507020$lle002$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10777799$z28-06-02
996   $aTempo di Roma$9910216
997   $aUNISALENTO
998   $ale002$b01-01-93$cm$da  $e-$ffre$gbe $h0$i1