The semantics and proof theory of the logic of bunched implications
By: by David J. Pym.
Series: Applied logic series -- v. 26.
Publisher: Kluwer Academic Publishers; Springer
Published: 2002
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 287
Subjects: Logic, Symbolic and mathematical
Notes: Includes bibliographical references (p. 271-282) and index.