"Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals" - читать интересную книгу автора (Büchi J. R., Siefkes D.)