

Decidable Theories
- Undertittel
- Vol. 1: Buchi`s Monadic Second Order Successor Arithmetic
- Forfatter
- Dirk Siefkes
- Redaktør
- Gert H. Muller
- ISBN
- 9783540362524
- Språk
- Engelsk
- Utgivelsesdato
- 15.11.2006
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
