APA (7th ed.) Citation

Pym, D. J. (2002). The semantics and proof theory of the logic of bunched implications. Kluwer Academic Publishers.

Chicago Style (17th ed.) Citation

Pym, David J. The Semantics and Proof Theory of the Logic of Bunched Implications. Dordrecht ; Boston: Kluwer Academic Publishers, 2002.

MLA (9th ed.) Citation

Pym, David J. The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic Publishers, 2002.