Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals (Lecture Notes in Mathematics) (Lecture Notes in Mathematics, 328, Band 328) - Softcover

Buchi, J. Richard

 
9783540063452: Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals (Lecture Notes in Mathematics) (Lecture Notes in Mathematics, 328, Band 328)

Inhaltsangabe

The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.