The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
by David J. Pym
2002338 pages
Springer·1 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 (Applied Logic Series) (2002)
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series) (2002)
Springer
Springer
Hardcover
ISBN 10: 1402007450
ISBN 13: 9781402007453