Skip to content
Same-day shipping9% off: code GIG9
BooksBajar.com
Cover of The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications

26

by David J. Pym

Springer · 2010

₹12,055

Free delivery. Nothing extra to pay at checkout.

Same Day ShippingIn 3–5 days
15-Day ReturnEasy returns
Genuine BookPhysical copy only

Available Offers

  • 🏷️Use code GIG9, pay ₹11,555 — save ₹500 (up to ₹500 off per order)
  • 💵Cash on Delivery — pay when the parcel reaches you
Share:

About this book

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 is written by David J. Pym. This edition is published by Springer (2010).

Its main subjects are Philosophy (General), Computer science, Logic and Philosophy.

Book details

ISBN-13
9789048160723
ISBN-10
9048160723
Author
David J. Pym
Publisher
Springer
Published
2010
Edition
Softcover reprint of hardcover 1st ed. 2002
Language
English
Condition
New
Subject
Computing & IT

More in Computing & IT