TY  - BOOK
AU  - Pym, David J.
TI  - Semantics and proof theory of the logic of bunched implications
SN  - 1402007450
CY  - Dordecht
ER  -