01673nam2 22003733i 450 VAN025498320230523023338.806N978354036252420230220d1970 |0itac50 baengDE|||| |||||ˆ1.: ‰Büchi's Monadic Second Order Successor ArithmeticDirk SiefkesEdited by Gert H. MüllerBerlinSpringer1970xiv, 134 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer120001VAN02549822001 Decidable Theories210 BerlinSpringer1970-1973215 2 volumi24 cm100-XXGeneral and overarching topics; collections [MSC 2020]VANC025238MFArithmeticKW:KDecidabilityKW:KSecond Order Successor ArithmeticKW:KSucessor ArithmeticKW:KBerlinVANL000066SiefkesDirkVANV04301557138MüllerGert H.VANV094692340Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0061047E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0254983BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5458 08eMF5458 20230301 Buchi's monadic second order successor arithmetic83134UNICAMPANIA