-53% OFFCambridge University Press
Logical Frameworks (English, Gerard Huet | G. Plotkin)
₹5,243₹11,232Save 53%
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 | Cambridge University Press |
| Language | English |
| ISBN-13 | 9780521413008 |
| ISBN-10 | 0521413001 |
| Author | Gerard Huet | G. Plotkin |
Product Description
Here on GlowMirror, you'll find Logical Frameworks filed under Cambridge University Press -- everything you need to know is covered below.
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
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Logical Frameworks
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Cambridge University Press
Who Should Read This
Students and professionals interested in Cambridge University Press, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy
Frequently Asked Questions
What is the price of Logical Frameworks?
Logical Frameworks is available at ₹5,243 on GlowMirror. The original MRP is ₹11,232, saving you 53%.
Does GlowMirror offer free delivery for Logical Frameworks?
GlowMirror offers free delivery on orders above ₹499. For Logical Frameworks priced at ₹5,243, you qualify for free shipping.
Is Cash on Delivery available for Logical Frameworks?
Yes, Cash on Delivery (COD) is available for Logical Frameworks on GlowMirror across India. Pay conveniently when your order arrives.
What is the return policy for Logical Frameworks?
GlowMirror offers a 15-day hassle-free return policy for Logical Frameworks. Returns are free of charge. Contact us at info@glowmirror.in or call +91 99446 78357 to initiate a return.
Is Logical Frameworks available in English?
Logical Frameworks is available in English on GlowMirror.
Who is the author of Logical Frameworks?
Logical Frameworks is authored by Gerard Huet | G. Plotkin.
Who published Logical Frameworks?
Logical Frameworks is published by Cambridge University Press.
How many pages does Logical Frameworks have?
Page count information for Logical Frameworks is available in the specifications section of this page.
How long does it take to read Logical Frameworks?
At an average reading speed of 250 words per minute, reading Logical Frameworks takes a few hours to a few days depending on reading pace.
What is Logical Frameworks about?
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 suc...
Is Logical Frameworks suitable for beginners?
Whether Logical Frameworks is suitable for beginners depends on your background in Cambridge University Press. Review the product description and specifications above for details on the target audience and difficulty level.
What edition is Logical Frameworks?
Logical Frameworks is from the Cambridge University Press edition/year. Check the specifications section for full edition details.
How do I order Logical Frameworks on GlowMirror?
To order Logical Frameworks 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 Logical Frameworks a new or used book?
Logical Frameworks listed on GlowMirror is a brand new book in good condition.
Can I get Logical Frameworks delivered across India?
Yes, GlowMirror delivers Logical Frameworks across India. Use the pincode checker on this page to verify delivery availability to your location.
