Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Seiten
1970
|
1970
Springer Berlin (Verlag)
978-3-540-04909-8 (ISBN)
Springer Berlin (Verlag)
978-3-540-04909-8 (ISBN)
Decidability and completeness of SC.- Benefits of the decision procedure.
| 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 |
| 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 |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
