01678nam1 2200445 450 00001348220050718115500.020030519d1973----km-y0itay0103----baengDEDecidable theoriesedited by Gert H. Muller and D. SiefkesBerlin [etc.]Springer2 v.26 cm.Lecture notes in mathematics2001Lecture notes in mathematics0010000150202001 Buchi's monadic second order successor arithmetic0010000150212001 <<The>> monadic second order theory of all countable ordinalsModelliTeorie511.3(21. ed.)Logica matematica (Logica simbolica)68-02Computer science. Research exposition03C85Mathematical logic and foundations. Second- and higher-order model theory03D05Mathematical logic and foundations. Automata and formal grammars in connection with logical questionsSiefkes,Dirk57138Muller,G. H.ITUniversità della Basilicata - B.I.A.RICAunimarc000013482Decidable theories81434UNIBASMONSCISCIENZEEXT0020120030519BAS011342EXT0020120030715BAS011301EXT0020120030715BAS011303EXT0020120030715BAS01130320050601BAS011755batch0120050718BAS01105120050718BAS01111120050718BAS01114120050718BAS011155