00567nam a2200193Ia 4500082002000000100001800020245005500038260003400093300002100127490003900148500002700187500000500214690000600219700000500225952010200230964001700332921000900349999001500358  a511.3bSi571.BM  aSiefkes, Dirk  aBuchis monadic second order successor arithmeticb  aBerlinbSpringer-Verlagc1970  axii, 130p. Bibl.  aLecture notes in Mathematicsv 120  a"Decidable theories I"  a  a   a  00104070aISIbISId1998-09-07l0o511.3 Si571.BMpDP14285r2019-02-14 00:00:00w2019-02-14yBK  abcdefg  a8820  c8820d8820