TY - BOOK AU - Buchi J R AU - Siefkes Dirk TI - Monadic second order theory of all countable ordinals SN - 3-540-06345-5 U1 - 511.3 PY - 1973/// CY - Berlin PB - Springer-Verlag KW - Countable ordinals KW - Mathematical analysis KW - Mathematical logic ER -