Tableau systems for first order number theory and certain higher order theories / S. A. Toledo
- Författare
- Sue Ann Toledo
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat | ||
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-37442-8 |