Decidable Theories
| Autor: | Siefkes, Dirk |
|---|---|
| ISBN: | 9783540049098 |
| Sprache: | Englisch |
| Seitenzahl: | 134 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Müller, Gert H. |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 01.01.1970 |
| Untertitel: | Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic |
| Schlagworte: | Büchis Entscheidungsverfahren Second Order Successor Arithmetic Sucessor Arithmetic arithmetic decidability |