Methods of Cut-Elimination electronic resource / by Matthias Baaz, Alexander Leitsch
- Författare
- Matthias. author. Baaz
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | |||
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-94-007-0320-9 |