The semantics and proof theory of the logic of bunched implications /

Bibliographic Details

Main Author:	Pym, David J.
Format:	Book
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic Publishers, [2002]
Series:	Applied logic series ; v. 26.
Subjects:	Logic, Symbolic and mathematical.