01148nam a2200325 i 450099100072440970753620020507172754.0950301s1970 de ||| | eng b10748507-39ule_instLE01301316ExLDip.to Matematicaeng511.65AMS 11U05QA3Siefkes, Dirk57138Buchi's monadic second order successor arithmetic /Dirk SiefkesBerlin ; New York :Springer-Verlag,1970xii, 130 p. ;26 cmDecidable theories ;1Lecture notes in mathematics,0075-8434 ;120Bibliography: p. [125]-127DecidabilityPredicate calculusSequential machine theory.b1074850723-02-1728-06-02991000724409707536LE013 11U SIE11 (1970)12013000146997le013-E0.00-l- 01010.i1084095328-06-02Buchi's monadic second order successor arithmetic83134UNISALENTOle01301-01-95ma -engde 01