Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science, 3223)
Product ID: 576406976
Secure Transaction
Frequently Bought Together
Description
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Best international shipping I've ever tried. Worth every penny!
3 days ago
Smooth transaction and product arrived in perfect condition.
3 weeks ago
Shop Global, Save with Desertcart
Value for Money
Competitive prices on a vast range of products
Shop Globally
Serving over 300 million shoppers across more than 200 countries
Enhanced Protection
Trusted payment options loved by worldwide shoppers
Customer Assurance
Trusted payment options loved by worldwide shoppers.
Desertcart App
Shop on the go, anytime, anywhere.
