The Semantics and Proof Theory of the Logic of Bunched Implications
-
inbunden
,
Engelska, 2002