The Semantics and Proof Theory of the Logic of Bunched Implications
by David J. Pym
2002290 pages
Springer Netherlands·2 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
The Semantics and Proof Theory of the Logic of Bunched Implications (2002)
The Semantics and Proof Theory of the Logic of Bunched Implications (2002)
Springer Netherlands
Springer Netherlands
[electronic resource] /
ISBN 10: 9048160723
ISBN 13: 9789048160723