The Semantics and Proof Theory of the Logic of Bunched Implications
Publisher: Springer
Published: Dec 03, 2012
Format: paperback
Number of pages: 346
ISBN-13: 9789401700924