The Semantics and Proof Theory of the Logic of Bunched Implications
Pym, D. J., 2002. The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic Publishers. (Applied Logic Series)
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
|Creators||Pym, D. J.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)