00358nam a2200133Ia 4500082002000000100001800020245005500038260003400093300002100127490003900148500002700187500000500214700000500219  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