-
1Decidable 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 -
2Decidable 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