---
product_id: 95210633
title: "Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings: 6898 (Lecture Notes in Computer Science)"
price: "VT29102"
currency: VUV
in_stock: true
url: https://www.desertcart.vu/products/95210633-interactive-theorem-proving-second-international-conference-itp-2011-berg-en
store_origin: VU
region: Vanuatu
---

# Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings: 6898 (Lecture Notes in Computer Science)

**Price:** VT29102
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings: 6898 (Lecture Notes in Computer Science)
- **How much does it cost?** VT29102 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.vu](https://www.desertcart.vu/products/95210633-interactive-theorem-proving-second-international-conference-itp-2011-berg-en)

## Best For

- Customers looking for quality international products

## Why This Product

- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings: 6898 (Lecture Notes in Computer Science)

## Images

![Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings: 6898 (Lecture Notes in Computer Science) - Image 1](https://images-eu.ssl-images-amazon.com/images/I/4117ShlY6dL.jpg)

---

## Why Shop on Desertcart?

- 🛒 **Trusted by 1.3+ Million Shoppers** — Serving international shoppers since 2016
- 🌍 **Shop Globally** — Access 737+ million products across 21 categories
- 💰 **No Hidden Fees** — All customs, duties, and taxes included in the price
- 🔄 **15-Day Free Returns** — Hassle-free returns (30 days for PRO members)
- 🔒 **Secure Payments** — Trusted payment options with buyer protection
- ⭐ **TrustPilot Rated 4.5/5** — Based on 8,000+ happy customer reviews

**Shop now:** [https://www.desertcart.vu/products/95210633-interactive-theorem-proving-second-international-conference-itp-2011-berg-en](https://www.desertcart.vu/products/95210633-interactive-theorem-proving-second-international-conference-itp-2011-berg-en)

---

*Product available on Desertcart Vanuatu*
*Store origin: VU*
*Last updated: 2026-03-16*