✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
Isabelle/Hol (English, Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel) - Image 1 - GlowMirror

Isabelle/Hol (English, Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel)

by Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel

Delivery options

₹6,392
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days

Available Offers

Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.

15-Day Easy Returns — hassle-free return & full refund.

Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.

Total: ₹6,392

Book Details

Publisher
Springer
Language
English
ISBN-13
9783540433767
ISBN-10
3540433767
Author
Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel

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

ISBN-13: 9783540433767
ISBN-10: 3540433767

Frequently Asked Questions

What is the price of Isabelle/Hol?
Isabelle/Hol starts from ₹6392 at GlowMirror. Available in Paperback.
Who is the author of Isabelle/Hol?
Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel is the author of Isabelle/Hol. Browse more books by Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel on GlowMirror.
Is Isabelle/Hol available in Paperback and Hardcover?
Yes, Isabelle/Hol is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Isabelle/Hol?
Yes, GlowMirror offers free delivery for Isabelle/Hol across India. No minimum order value required.
Is Cash on Delivery available for Isabelle/Hol?
Yes, Cash on Delivery (COD) is available for Isabelle/Hol on GlowMirror. You can pay when your order is delivered.
ISBN-10: 3540433767. ISBN-13: 9783540433767. Isabelle/Hol (English, Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel) by Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel. Available on GlowMirror.
Product ID: isbn-9783540433767