The semantics and proof theory of the logic of bunched implications
- Författare
- David J Pym
- (David J. Pym)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic | c2002 | England, Dordrecht, London | xlix, 287 sidor. : ill. 25 cm. | 1-4020-0745-0 |