The Semantics and Proof Theory of the Logic of Bunched Implications / by David J. Pym
- Författare
- David J. author. Pym
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-94-017-0091-7 |