Linked Data Explorer
Decidable theories II. b : Büchi, J.R. and D. Siefkes, The monadic second order theory of all countable ordinals
- "Decidable theories II. b : Büchi, J.R. and D. Siefkes, The monadic second order theory of all countable ordinals"
- "Decidable Theories II The Monadic Second Order Theory of All Countable Ordinals"
- "Decidable theories ii : the monadic second order theory of all countable ordinals"