LEADER 01266nam--2200433---450-
001 990001187650203316
005 20031008145956.0
010   $a0-387-94893-7
035   $a000118765
035   $aUSA01000118765
035   $a(ALEPH)000118765USA01
035   $a000118765
100   $a20031008d1997----km-y0itay0103----ba
101 0 $aeng
102   $aUS
105   $a||||||||001yy
200 1 $aLogic for application$fAni Nerode, Richard A. Shore
205   $a2. ed.
210   $aNew York [etc.]$cSpringer$dcopyr. 1997
215   $aXIII,456 p.$d24 cm
225 2 $aGraduate texts in computer science
410  0$12001$aGraduate texts in computer science
454  1$12001
461  1$1001-------$12001
606 0 $aMatematica applica agli elaboratori
606  0$aLogica simbolica
606  0$aLogica matematica
676   $a005.101 511 3 NER
700  1$aNERODE,$bAnil$048991
701  1$aSHORE,$bRichard A.$0542234
801  0$aIT$bsalbc$gISBD
912   $a990001187650203316
951   $a005.101 511 3 NER$b10375 Ing.$c005.101 511
959   $aBK
969   $aTEC
979   $aSIAV3$b10$c20031008$lUSA01$h1459
979   $aPATRY$b90$c20040406$lUSA01$h1725
996   $aLogic for application$9982770
997   $aUNISA