Overview
The Semantics and Proof Theory of the Logic of Bunched Implications
- | Author: David J. Pym
- | Publisher: Springer
- | Publication Date: Dec 04, 2010
- | Number of Pages: 290 pages
- | Binding: Paperback or Softback
- | ISBN-10: 9048160723
- | ISBN-13: 9789048160723