Decidable theories II. The monadic second order theory of all countable ordinals / J. Richard Büchi and Dirk Siefkes
- Författare
- J. Richard Büchi
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag | uuuu-uuuu | Utgivningsland okänt / Ej specificerat | ||
| Springer-Verlag | uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-46946-9 |