Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / by J. Richard Büchi, Dirk Siefkes ; edited by G. H. Müller, D. Siefkes.
Material type: TextSeries: Lecture Notes in Mathematics ; 328Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1973Description: VIII, 224 p. online resourceContent type:- text
- computer
- online resource
- 9783540469469
- 511.3 23
- QA8.9-10.3
No physical items for this record
There are no comments on this title.