Cambridge University Press
Extensions of First-Order Logic (English, Maria Manzano | C. J. Van Rijsbergen | Samson Abramsky)
₹4,297
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
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 Specifications
| ISBN-13 | 9780521019026 |
| ISBN-10 | 0521019028 |
| Publisher | Cambridge University Press |
| Category | Cambridge University Press |
Frequently Asked Questions
What is the price of Extensions of First-Order Logic?
Extensions of First-Order Logic is available at ₹4,297 on BookShops.in.
Does BookShops.in offer free delivery for Extensions of First-Order Logic?
FREE delivery on all orders for Extensions of First-Order Logic.
Is Cash on Delivery available for Extensions of First-Order Logic?
Yes, Cash on Delivery (COD) is available for Extensions of First-Order Logic on BookShops.in. Pay when your order arrives.
What is the return policy for Extensions of First-Order Logic?
BookShops.in offers a 15-day hassle-free return policy for Extensions of First-Order Logic. Contact us at support@bookshops.in or call +91 95575 56855.
Is Extensions of First-Order Logic authentic?
Extensions of First-Order Logic is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Springer
Röntgendiagnostik Der Leber Und Der Gallenwege Teil 1 / Roentgen Diagnosis of the Liver and Biliary | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer
₹3,508
Cambridge University Press
Preferential Trade Agreements: A Law and Economics Analysis | by Kyle W. Bagwell | Petros C. Mavroidis | Cambridge University Press | English | Illustrated Edition
₹5,315
Cambridge University Press
Transcribing the Sound of English: A Phonetics Workbook for Words and Discourse | by Paul Tench | Cambridge University Press | English
₹5,305
Cambridge University Press
The Emperor and the World: Exotic Elements and the Imaging of Middle Byzantine Imperial Power, Ninth to Thirteenth Centuries C.E. | by Alicia Walker | Cambridge University Press | English
₹4,266
University of Pittsburgh Press
Wit's End: Women's Humor As Rhetorical & Performative Strategy: 163 | by Sean Zwagerman | Univ of Pittsburgh Pr | English | 1st Edition
₹5,509
University of Pittsburgh Press
Garbage In The Cities: Refuse Reform and the Environment: 66 | by Martin Melosi | Univ of Pittsburgh Pr | English | Revised Edition
₹5,393
Related Products
View AllCambridge University Press
Transcribing the Sound of English: A Phonetics Workbook for Words and Discourse | by Paul Tench | Cambridge University Press | English
₹5,305
Cambridge University Press
The Emperor and the World: Exotic Elements and the Imaging of Middle Byzantine Imperial Power, Ninth to Thirteenth Centuries C.E. | by Alicia Walker | Cambridge University Press | English
₹4,266
Cambridge University Press
BLACK HOLES IN HIGHER DIMENSIONS | by Gary T. Horowitz | Cambridge University Press | English
₹5,487
Cambridge University Press
INTRODUCTION TO VASSILIEV KNOT INVARIANTS | by S. Chmutov | S. Duzhin | J. Mostovoy | Cambridge University Press | English
₹4,997
Cambridge University Press
Ofdma Mobile Broadband Communications | by Junyi Li | Xinzhou Wu | Rajiv Laroia | Cambridge University Press | English
₹5,068
Cambridge University Press
Preferential Trade Agreements: A Law and Economics Analysis | by Kyle W. Bagwell | Petros C. Mavroidis | Cambridge University Press | English | Illustrated Edition
₹5,315