Books by David J. Pym
No products found matching the selection.
-20%
The Semantics and Proof Theory of the Logic of Bunched Implications
€203.26
€254.08
-20% with code BOOKS
In stock at our supplier
-20%
The Semantics and Proof Theory of the Logic of Bunched Implications
€203.26
€254.08
-20% with code BOOKS
In stock at our supplier
-20%
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
€344.55
€430.69
-20% with code BOOKS
In stock at our supplier