The monadic Second order theory of all countable ordinals - Buchi,Richard J.; Siefkes,Dirk (Berlin : Springer-Verlag, 1973)
Keywords: Mathematical analysis; Mathematics -- Data processing; Electronic data processing