00611nam a2200193Ia 4500082001900000100004000019245006000059260003400119300001400153490003900167500002800206500000500234690000600239700003000245952010100275964001700376921000900393999001500402  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  a   aSiefkes, Dirk ; jt. auth.  00104070aISIbISId1998-09-07l0o511.3 B919.MSpDP14410r2019-02-14 00:00:00w2019-02-14yBK  abcdefg  a8700  c8700d8700