Monadic second theory of all countable ordinals - Buchi J Richard; Siefkes Dirk (Berlin Springer-Verlag, 1973)
Keywords: Numerical analysis