David J Pym

David J Pym is the author of "The Semantics and Proof Theory of the Logic of Bunched Implications", "Reductive Logic and Proof-Search", "Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45" and "Reductive Logic and...

Books by David J Pym

The Semantics and...
Pym, David J.
Electronic book text: $269.00

Reductive Logic a...
Pym, David J.
Hardback: $205.00

Reductive Logic a...
Pym, David J.
Electronic book text:

Reductive Logic a...
Pym, David J.
Electronic book text: $215.32