About Us

  • About Us
  • Careers
  • Contact
  • Developers
  • Brands

Customer Services

  • Track Order
  • Shipping & Handling
  • Returns & Exchanges
  • Payments
  • Refer a Friend

Customer Support

  • Need Help? support@desertcart.com
  • Phone Support +971 4 524 5524
  • 24/7 Live Chat
  • FAQ
  • Merchant Support

Regional Access

  • UAE
  • Oman
  • Saudi Arabia
  • Kuwait
  • Bahrain

Legal & Policies

  • Terms
  • Privacy

Social

  • Instagram
  • Twitter
  • Facebook

Get the App

Get the app qr code

Point your camera to download the app

Copyright © 2024 Desertcart Holdings Limited

Copyright © 2024 Desertcart Holdings Limited

Customer support
We're available 24/7 to help you!
  • Baby
  • Beauty & Grooming
  • Books
  • Electronics
  • Fashion
  • Health
  • Home & Kitchen
  • Sports
  • Toys
Desertcart Logo
Slovakia
Cart
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings: 1479 (Lecture Notes in Computer Science)
Thumbnail 1

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings: 1479 (Lecture Notes in Computer Science)

Product ID: 93077912
Secure Transaction

Description

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings: 1479 (Lecture Notes in Computer Science)

Common Questions

Trustpilot

TrustScore 4.5 | 7,300+ reviews

Suresh K.

Very impressed with the quality and fast delivery. Will shop here again.

4 days ago

Neha S.

Excellent communication throughout the order process. Product is perfect.

2 weeks ago

View all Trustpilot reviews →
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.
EUR 462.26

Duties & taxes incl.

Slovakiastore
1
Free Shipping
Free Returns

30 daysfor PRO membership users

15 dayswithout membership

Secure Transaction

Trustpilot

TrustScore 4.5 | 7,300+ reviews

Ayesha M.

The product exactly matches the description. Very satisfied with my purchase.

5 days ago

Anita G.

Good experience, but the tracking updates could be better.

2 months ago

View all Trustpilot reviews →