

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
- 15.11.2006
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator