Decidable Theories

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

J.R. Büchi, D. Siefkes (Autoren)

G.H. Müller, D. Siefkes (Herausgeber)

Buch | Softcover

VIII, 224 Seiten

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

Inhalt

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

Produkt-Details

• 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