01770nam2 22003853i 450 VAN025581320230524033054.556N978354046946920230314d1973 |0itac50 baengDE|||| |||||ˆ2.: The ‰Monadic Second Order Theory of All Countable OrdinalsJ. Richard Büchi, Dirk Siefkesedited by G. H. Müller, D. SiefkesBerlinSpringer1973vi, 217 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer328001VAN02549822001 Decidable Theories210 BerlinSpringer1970-1973215 2 volumi24 cm268-XXComputer science [MSC 2020]VANC019670MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFOrdinalsKW:Korder theoryKW:KBerlinVANL000066BuchiJ. RichardVANV04301456716SiefkesDirkVANV04301557138MüllerGert H.VANV094692340SiefkesDirkVANV043015340Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0082720E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0255813BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5692 08eMF5692 20230328 Monadic second order theory of all countable ordinals83135UNICAMPANIA