-53% OFFCambridge University Press
Logical Frameworks (English, Gerard Huet | G. Plotkin)
₹5,243₹11,232Save 53%
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
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
Book Details
| ISBN-13 | 9780521413008 |
| ISBN-10 | 0521413001 |
Product Description
About the Book
This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and their relevance to automatic-theorem proving and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking r…
ISBN: 9780521413008
Frequently Asked Questions
What is the price of Logical Frameworks?
Logical Frameworks is available at ₹5,243 on BookShops.in.
Does BookShops.in offer free delivery for Logical Frameworks?
FREE delivery on all orders for Logical Frameworks.
Is Cash on Delivery available for Logical Frameworks?
Yes, Cash on Delivery (COD) is available for Logical Frameworks on BookShops.in. Pay when your order arrives.
What is the return policy for Logical Frameworks?
BookShops.in offers a 15-day hassle-free return policy for Logical Frameworks. Contact us at support@bookshops.in or call +91 81899 68108.
Is Logical Frameworks authentic?
Logical Frameworks is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
