Law
Isabelle/Hol (English, Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel)
₹4,964
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵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
Book Specifications
| ISBN-13 | 9783540433767 |
| ISBN-10 | 3540433767 |
| Publisher | Springer |
| Category | Law |
Frequently Asked Questions
What is the price of Isabelle/Hol?
Isabelle/Hol is available at ₹4,964 on BookShops.in.
Does BookShops.in offer free delivery for Isabelle/Hol?
FREE delivery on all orders for Isabelle/Hol.
Is Cash on Delivery available for Isabelle/Hol?
Yes, Cash on Delivery (COD) is available for Isabelle/Hol on BookShops.in. Pay when your order arrives.
What is the return policy for Isabelle/Hol?
BookShops.in offers a 15-day hassle-free return policy for Isabelle/Hol. Contact us at [email protected] or call +91 81899 68108.
Is Isabelle/Hol authentic?
Isabelle/Hol is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Constitutional Law
Indigenous law and the state
₹5,432
Constitutional Law
Great Cases in Constitutional Law (English, Robert P. George)
₹3,702
Constitutional Law
Guilty Pleas in International Criminal Law (English, Nancy Amoury Combs)
₹2,022
Constitutional Law
The Growth of the Law by Benjamin N. Cardozo – Jurisprudence
₹2,455
Constitutional Law
Court of Injustice: Law Without Recognition in U.S. Immigration by J. C. Salyer
₹1,845
Constitutional Law
Youth: Learning Through Cases
₹4,793
Related Products
View All
Law
Mediasport | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Routledge | by Lawrence Wenner | Rout
₹5,256
Law
Human Rights Diplomacy | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routledge | by Rein Mullerson | Routled
₹4,908
Law
Rome the Law-Giver | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil J. | Routledge | by Declareuil
₹4,661
Law
Human Rights and Gender Politics | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera MacKie | Routledge | by Anne-Marie Hilsdon | Martha MacIntyre | Vera Mac
₹5,437
Law
Politics of Human Rights in Southeast Asia | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge | Routledge | by Philip J. Eldridge |
₹5,318
Law
Rerouting the Postcolonial | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh | Routledge | by Janet Wilson | Cristina Sandru | Sarah Lawson Welsh |
₹4,260