CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Theorem Proving in High Order Logics 12th International Conference, Tphols'99, Nice, France,...
Theorem Proving in High Order Logics 12th International Conference, Tphols'99, Nice, France,... by Bertot, Yves, Dowek, Gilles... ISBN: 9783540664635 List Price: $82.95
$52.33 (Save 36%)
2.
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics by Bertot, Yves, Dowek, Gilles... ISBN: 9783662183410 List Price: $24.99

OUT OF STOCK

See Availability on Amazon