LEADER 01678nam1 2200445 450 001 000013482 005 20050718115500.0 100 $a20030519d1973----km-y0itay0103----ba 101 0 $aeng 102 $aDE 200 1 $aDecidable theories$fedited by Gert H. Muller and D. Siefkes 210 $aBerlin [etc.]$cSpringer 215 $a2 v.$d26 cm. 225 2 $aLecture notes in mathematics 410 0$12001$aLecture notes in mathematics 463 \1$1001000015020$12001 $aBuchi's monadic second order successor arithmetic 463 \1$1001000015021$12001 $a<> monadic second order theory of all countable ordinals 606 $aModelli$xTeorie 676 $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica) 691 $a68-02$9Computer science. Research exposition 691 $a03C85$9Mathematical logic and foundations. Second- and higher-order model theory 691 $a03D05$9Mathematical logic and foundations. Automata and formal grammars in connection with logical questions 700 1$aSiefkes,$bDirk$057138 702 1$aMuller,$bG. H. 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000013482 996 $aDecidable theories$981434 997 $aUNIBAS BAS $aMONSCI BAS $aSCIENZE CAT $aEXT002$b01$c20030519$lBAS01$h1342 CAT $aEXT002$b01$c20030715$lBAS01$h1301 CAT $aEXT002$b01$c20030715$lBAS01$h1303 CAT $aEXT002$b01$c20030715$lBAS01$h1303 CAT $c20050601$lBAS01$h1755 CAT $abatch$b01$c20050718$lBAS01$h1051 CAT $c20050718$lBAS01$h1111 CAT $c20050718$lBAS01$h1141 CAT $c20050718$lBAS01$h1155 FMT