Results
The Semantics and Proof Theory of the Logic of Bunched Implications
© 2002
Hard cover - Print (ISBN: 978-1-4020-0745-3)
Soft cover - Print (ISBN: 978-90-481-6072-3)
Electronic (ISBN: 978-94-017-0091-7)
View this book on
SpringerLink
Download Product Archive File - 978-94-017-0091-7