Reductive logic and proof-search electronic resource : proof theory, semantics, and control / David J. Pym and Eike Ritter
- Författare
- David J. Pym
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Clarendon | uuuu-uuuu | Utgivningsland okänt / Ej specificerat | ||
| Clarendon | uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-1-4356-2078-0 |