-
1Texto bibliotecaCOLPOS
-
2Texto bibliotecaCOLPOS
-
3Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals /by Büchi, J. Richard. author., Siefkes, Dirk. author., Müller, G. H. editor., Siefkes, D. editor., SpringerLink (Online service)
Published 1973Texto bibliotecaCOLPOS -
4Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals /by Büchi, J. Richard. author., Siefkes, Dirk. author., Müller, G. H. editor., Siefkes, D. editor., SpringerLink (Online service)
Published 1973Texto bibliotecaCOLPOS