Author | Bรผchi, J. Richard. author |
---|---|
Title | 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 |
Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1973 |
Connect to | http://dx.doi.org/10.1007/BFb0082720 |
Descript | VIII, 224 p. online resource |