Decidable Theories

Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

Buch | Softcover

VIII, 224 Seiten

1973 | 1973
Springer Berlin (Verlag)
978-3-540-06345-2 (ISBN)

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

Erscheint lt. Verlag	5.7.1973
Reihe/Serie	Lecture Notes in Mathematics
Zusatzinfo	VIII, 224 p.
Verlagsort	Berlin
Sprache	englisch
Gewicht	351 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Büchis Entscheidungsverfahren • Order theory • ordinal • Ordinals
ISBN-10	3-540-06345-5 / 3540063455
ISBN-13	978-3-540-06345-2 / 9783540063452
Zustand	Neuware