Skip to main navigation Skip to search Skip to main content

The Semantics and Proof Theory of the Logic of Bunched Implications

  • D J Pym

Research output: Book/Report › Book

Original languageEnglish
PublisherKluwer Academic Publishers
ISBN (Print)1402007450
Publication statusPublished - 2002

Publication series

NameApplied Logic Series
PublisherKluwer Academic Publishers

Cite this