Decidable Theories II
Büchi, J. Richard.
Decidable Theories II The Monadic Second Order Theory of All Countable Ordinals / [electronic resource] : by J. Richard Büchi, Dirk Siefkes ; edited by G. H. Müller, D. Siefkes. - VIII, 224 p. online resource. - Lecture Notes in Mathematics, 328 0075-8434 ; . - Lecture Notes in Mathematics, 328 .
9783540469469
10.1007/BFb0082720 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3
Decidable Theories II The Monadic Second Order Theory of All Countable Ordinals / [electronic resource] : by J. Richard Büchi, Dirk Siefkes ; edited by G. H. Müller, D. Siefkes. - VIII, 224 p. online resource. - Lecture Notes in Mathematics, 328 0075-8434 ; . - Lecture Notes in Mathematics, 328 .
9783540469469
10.1007/BFb0082720 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3