Search results for TPHOLs Blackwell's

Skip your Account's links

0 items

$0.00

Your basket
The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.
View basket
Your basket is empty
Delivery included on your order!
View basket

$6.60off
Theorem Proving in Higher Order...
TPHOLs, Yves Bertot

Paperback
Published 01 Sep 1999
Save $6.60
- RRP $62.44
- $55.84
In Stock
Add to basket
$2.06off
Theorem Proving in Higher Order...
TPHOLs, David Basin,...

Paperback
Published 21 Aug 2003
Save $2.06
- RRP $62.44
- $60.38
In Stock
Add to basket
$4.91off
Theorem Proving in Higher Order...
TPHOLs, Mark Aagaard...

Paperback
Published 27 Jul 2000
Save $4.91
- RRP $62.44
- $57.53
In Stock
Add to basket
Theorem Proving in Higher Order...
TPHOLs, J. Grundy, M...

Paperback
Published 09 Sep 1998
- $62.97
In Stock
Add to basket
$2.66off
Theorem Proving in Higher Order...
TPHOLs, Elsa L. Gunt...

Paperback
Published 06 Aug 1997
Save $2.66
- RRP $62.44
- $59.78
In Stock
Add to basket
$6.88off
Theorem Proving in Higher Order...
TPHOLs, Konrad Slind...

Paperback
Published 01 Sep 2004
Save $6.88
- RRP $62.44
- $55.56
In Stock
Add to basket
$6.82off
Theorem Proving in Higher Order...
TPHOLs, Victor A. Ca...

Paperback
Published 07 Aug 2002
Save $6.82
- RRP $62.44
- $55.62
In Stock
Add to basket
$1.52off
Theorem Proving in Higher Order...
TPHOLs, Richard J. B...

Paperback
Published 22 Aug 2001
Save $1.52
- RRP $62.44
- $60.92
In Stock
Add to basket