David Pym
Popular items by David Pym
View all offers-
The Semantics and Proof Theory of the Logic of Bunched Implications
Pym, David J.
Item prices starting from
View 23 offers£ 5.70
-
A Discipline of Mathematical Systems Modelling: Vol. 2 (Studies in Systems Thinking and Systems Engineering)
Collinson, Matthew; Monahan, Brian; Pym, David
Item prices starting from
View 7 offers£ 7.53
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control: 45 (Oxford Logic Guides)
Pym, David J.; Ritter, Eike
Item prices starting from
View 18 offers£ 105.01
-
