

Decidable Theories
- Undertitel
- Vol. 1: Buchi`s Monadic Second Order Successor Arithmetic
- Författare
- Dirk Siefkes
- Redaktör
- Gert H. Muller
- ISBN
- 9783540362524
- Språk
- Engelska
- Utgivningsdatum
- 2006-11-15
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator