Decidable Theories

Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

Dirk Siefkes (Autor)

Gert H. Müller (Herausgeber)

Buch | Softcover

XIV, 134 Seiten

1970 | 1970
Springer Berlin (Verlag)
978-3-540-04909-8 (ISBN)

Inhalt

Decidability and completeness of SC.- Benefits of the decision procedure.

Produkt-Details

• Erscheint lt. Verlag: 1.1.1970
• Reihe/Serie: Lecture Notes in Mathematics
• Zusatzinfo: XIV, 134 p.
• Verlagsort: Berlin
• Sprache: englisch
• Maße: 155 x 235 mm
• Gewicht: 213 g
• Themenwelt: Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: arithmetic • Büchis Entscheidungsverfahren • Decidability • Second Order Successor Arithmetic • Sucessor Arithmetic
• ISBN-10: 3-540-04909-6 / 3540049096
• ISBN-13: 978-3-540-04909-8 / 9783540049098
• Zustand: Neuware