Translate

Showing posts with label Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals (Lecture Notes in Mathematics). Show all posts
Showing posts with label Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals (Lecture Notes in Mathematics). Show all posts