TY - BOOK AU - Buchi, J. Richard and Siefkes, Dirk AU - Siefkes, Dirk ; jt. auth. TI - The monadic second order theory of countable ordinals T2 - Lecture notes in Mathematics U1 - 511.3 PY - 1973/// CY - Berlin PB - Springer-Verlag N1 - "Decidable theories-II" ER -