Pym, David J.
Semantics and proof theory of the logic of bunched implications - Dordecht Kluwer Academic Publishers 2002 - 287 - Applied Logic Series; v.26 .
1402007450
510.6 PYM
Semantics and proof theory of the logic of bunched implications - Dordecht Kluwer Academic Publishers 2002 - 287 - Applied Logic Series; v.26 .
1402007450
510.6 PYM