CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series) by David J. Pym ISBN: 9789048160723 List Price: $269.00
$155.49 (Save 42%)
2.
Semantics and Proof Theory of the Logic of Bunched Implications
Semantics and Proof Theory of the Logic of Bunched Implications by Pym, David J. ISBN: 9781402007453 List Price: $173.00
$158.63 (Save 8%)
3.
Proofs, Search and Computation in General Logic
Proofs, Search and Computation in General Logic by Pym, David J. ISBN: 9780521450577

OUT OF STOCK

See Availability on Amazon
4.
Semantics and Proof Theory of the Logic of Bunched Implications
Semantics and Proof Theory of the Logic of Bunched Implications by Pym, David J. ISBN: 9789401700924 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Reductive Logic and Proof-Search Proof Theory, Semantics, and Control
Reductive Logic and Proof-Search Proof Theory, Semantics, and Control by Pym, David J., Ritter, Eike ISBN: 9780198526339 List Price: $175.00
$124.96 (Save 28%)