Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals /

Saved in:
Bibliographic Details
Main Authors: Büchi, J. Richard. author., Siefkes, Dirk. author., Müller, G. H. editor., Siefkes, D. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1973
Subjects:Mathematics., Mathematical logic., Mathematical Logic and Foundations.,
Online Access:http://dx.doi.org/10.1007/BFb0082720
Tags: Add Tag
No Tags, Be the first to tag this record!