01440nam0 2200313 i 450 SUN005698020160127010145.60308-17-63690-00.0020061213d1993 |0engc50 baengUS|||| |||||*Logical methodsin honor of Anil Nerode's sixtieth birthdayJohn N. Crossley ... [et al.]BostonBirkhäuser1993XII, 813 p.24 cm.001SUN00526792001 *Progress in computer science and applied logic12210 BostonBirkhäuser1982-.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975068QxxTheory of computing [MSC 2020]MFSUNC01994968Q70Algebraic theory of languages and automata [MSC 2020]MFSUNC029255BostonSUNL000051Crossley, John N.SUNV043240Nerode, Anil1932- SUNV044082BirkhäuserSUNV000319650ITSOL20200803RICA/sebina/repository/catalogazione/documenti/Crossley, Remmel - Logical Methods. In Honor of Anil Nerode's Sixtieth Birthday.pdfContentsSUN0056980UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0960 08 7588 III 20061213 Logical methods1424392UNICAMPANIA