-22% OFF

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

Name: Isabelle/Hol (English, Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel)
SKU: isbn-9783540433767
Price: 4964.00 INR
Availability: InStock
ISBN: 9783540433767

By Tobias Nipkow | Lawrence C. Paulson | Markus WenzelSpringer

₹4,964₹6,392Save 22%

Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.

Quantity:

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

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