Research

The Semantics and Proof Theory of the Logic of Bunched Implications


Reference:

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.

Details

Item Type Book/s
CreatorsPym, D. J.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5565

Export

Actions (login required)

View Item