LEADER 01440nam0 2200313 i 450 
001 SUN0056980
005 20160127010145.603
010   $a08-17-63690-0$d0.00
100   $a20061213d1993       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Logical methods$ein honor of Anil Nerode's sixtieth birthday$fJohn N. Crossley ... [et al.]
210   $aBoston$cBirkhäuser$d1993
215   $aXII, 813 p.$d24 cm.
410  1$1001SUN0052679$12001 $a*Progress in computer science and applied logic$v12$1210  $aBoston$cBirkhäuser$d1982-.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a68Qxx$xTheory of computing [MSC 2020]$2MF$3SUNC019949
606   $a68Q70$xAlgebraic theory of languages and automata [MSC 2020]$2MF$3SUNC029255
620   $dBoston$3SUNL000051
702  1$aCrossley$b, John N.$3SUNV043240
702  1$aNerode$b, Anil$f1932- $3SUNV044082
712   $aBirkhäuser$3SUNV000319$4650
801   $aIT$bSOL$c20200803$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Crossley, Remmel - Logical Methods. In Honor of Anil Nerode's Sixtieth Birthday.pdf$zContents
912   $aSUN0056980
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0960        $e08   7588      III     20061213            
996   $aLogical methods$91424392
997   $aUNICAMPANIA