-22% OFFSpringer
Isabelle/Hol (English, Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel)
₹4,964₹6,392Save 22%
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Quantity:
1
Free DeliveryOn orders above ₹499
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540433767 |
| ISBN-10 | 3540433767 |
| Author | Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel |
Product Description
About the Book
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure fro…
ISBN: 9783540433767
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Isabelle/Hol
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Springer
Who Should Read This
Beginners and newcomers to the subject, as well as curious general readers.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy
Frequently Asked Questions
What is the price of Isabelle/Hol?
Isabelle/Hol is available at ₹4,964 on GlowMirror. The original MRP is ₹6,392, saving you 22%.
Does GlowMirror offer free delivery for Isabelle/Hol?
GlowMirror offers free delivery on orders above ₹499. For Isabelle/Hol priced at ₹4,964, you qualify for free shipping.
Is Cash on Delivery available for Isabelle/Hol?
Yes, Cash on Delivery (COD) is available for Isabelle/Hol on GlowMirror across India. Pay conveniently when your order arrives.
What is the return policy for Isabelle/Hol?
GlowMirror offers a 15-day hassle-free return policy for Isabelle/Hol. Returns are free of charge. Contact us at info@glowmirror.in or call +91 99446 78357 to initiate a return.
Is Isabelle/Hol available in English?
Isabelle/Hol is available in English on GlowMirror.
Who is the author of Isabelle/Hol?
Isabelle/Hol is authored by Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel.
Who published Isabelle/Hol?
Isabelle/Hol is published by Springer.
How many pages does Isabelle/Hol have?
Page count information for Isabelle/Hol is available in the specifications section of this page.
How long does it take to read Isabelle/Hol?
At an average reading speed of 250 words per minute, reading Isabelle/Hol takes a few hours to a few days depending on reading pace.
What is Isabelle/Hol about?
About the Book
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ...
Is Isabelle/Hol suitable for beginners?
Whether Isabelle/Hol is suitable for beginners depends on your background in Springer. Review the product description and specifications above for details on the target audience and difficulty level.
What edition is Isabelle/Hol?
Isabelle/Hol is from the Springer edition/year. Check the specifications section for full edition details.
How do I order Isabelle/Hol on GlowMirror?
To order Isabelle/Hol on GlowMirror, click the "Add to Cart" button on this page, proceed to checkout, and choose your preferred payment method — online payment or Cash on Delivery. Delivery takes 2–7 business days across India.
Is Isabelle/Hol a new or used book?
Isabelle/Hol listed on GlowMirror is a brand new book in good condition.
Can I get Isabelle/Hol delivered across India?
Yes, GlowMirror delivers Isabelle/Hol across India. Use the pincode checker on this page to verify delivery availability to your location.
