01154nam2 2200337 450 00001502020050718115600.020030715d1970----km-y0itay0103----baengDEBuchi's monadic second order successor arithmeticDirk SiefkesVol. 1.1970XII, 130 p.26 cm.Lecture notes in mathematics1202001Lecture notes in mathematics0010000134822001Decidable theoriesSiefkes,Dirk57138ITUniversità della Basilicata - B.I.A.RICAunimarc000015020Buchi's monadic second order successor arithmetic83134UNIBASMONSCISCIENZEEXT0020120030715BAS01130820050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011156BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT1926S19262003071551Riservati