-52% OFFExtensions of First-Order Logic (English, Maria Manzano | C. J. Van Rijsbergen | Samson Abramsky)
by Maria Manzano | C. J. Van Rijsbergen | Samson Abramsky
Publisher: Cambridge University Press
Language: English
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
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 | 9780521019026 |
| ISBN-10 | 0521019028 |
| Author | Maria Manzano | C. J. Van Rijsbergen | Samson Abramsky |
Product Description
Here on GlowMirror, you'll find Extensions of First-Order Logic filed under Cambridge University Press -- everything you need to know is covered below.
About the Book
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proof…
ISBN: 9780521019026
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Extensions of First-Order Logic
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Cambridge University Press
Who Should Read This
Beginners and newcomers to the subject, as well as curious general readers.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





