LEADER 01066nam1-2200349---450-
001 990001078270203316
005 20020507143243.0
010   $a0-387-94907-0
035   $a000107827
035   $aUSA01000107827
035   $a(ALEPH)000107827USA01
035   $a000107827
100   $a20020507g1997----k--y0itay0103----ba
101 1 $aENG
102   $aUS
200 1 $aAutomata and computability$fDexter C. Kozen
210   $aNew York [etc.]$cSpringer$dcopyr. 1997
215   $aXIII, 400 p.$cill.$d20 cm
225 2 $aUndergraduate texts in computer science
410  0$1Undergraduate texts in computer science
610   $aTeoria delle macchine
610   $aFunzioni computabili
676   $a511.3
700  1$aKozen,$bDexter C.$065955
801  0$aIT$bAtlantis$gRICA$2UNIMARC
912   $a990001078270203316
951   $a511.3 KOZ$b0027561 CBS$c511.3$d00111131
959   $aBK
979   $aDIGIUSEPPE$b90$c20020507$lUSA01$h1432
979   $aPATRY$b90$c20040406$lUSA01$h1715
996   $aAutomata and computability$9374080
997   $aUNISA