CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Theorem Proving In Higher Order Logic 17th International Conference, Tphols 2004, Park City,...
Theorem Proving In Higher Order Logic 17th International Conference, Tphols 2004, Park City,... by Slind, Konrad, Bunker, Anne... ISBN: 9783540230175 List Price: $67.00
$52.33 (Save 21%)
2.
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics by Slind, Konrad, Bunker, Anne... ISBN: 9783662211625 List Price: $24.99

OUT OF STOCK

See Availability on Amazon