00403nam a2200133Ia 4500082001900000100004000019245006000059260003400119300001400153490003900167500002800206500000500234700003000239  a511.3bB919.MS  aBuchi, J. Richard and Siefkes, Dirk  aThe monadic second order theory of countable ordinalsb  aBerlinbSpringer-Verlagc1973  avi, 217p.  aLecture notes in Mathematicsv 328  a"Decidable theories-II"  a  aSiefkes, Dirk ; jt. auth.