Extensions of First-Order Logic (English, Maria Manzano | C. J. Van Rijsbergen | Samson Abramsky)
by Maria Manzano | C. J. Van Rijsbergen | Samson Abramsky
Delivery options
₹8,974
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹8,974
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521019026
ISBN-10
0521019028
Author
Maria Manzano | C. J. Van Rijsbergen | Samson Abramsky
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
ISBN-13: 9780521019026
ISBN-10: 0521019028
Frequently Asked Questions
What is the price of Extensions of First-Order Logic?
Extensions of First-Order Logic starts from ₹8974 at BookBajar. Available in Paperback.
Who is the author of Extensions of First-Order Logic?
Maria Manzano | C. J. Van Rijsbergen | Samson Abramsky is the author of Extensions of First-Order Logic. Browse more books by Maria Manzano | C. J. Van Rijsbergen | Samson Abramsky on BookBajar.
Is Extensions of First-Order Logic available in Paperback and Hardcover?
Yes, Extensions of First-Order Logic is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Extensions of First-Order Logic?
Yes, BookBajar offers free delivery for Extensions of First-Order Logic across India. No minimum order value required.
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 BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521019026
🛒 Customers Also Bought
Data Privacy: Principles and Practice (English, Paperback, Nataraj Venkataramanan)
₹2,700
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Der Keynesianismus II (English, G. Bombach | H. -J Ramser | M. Timmermann)
₹4,601
Physik Des Erdnahen Weltraums (English, Gerd Prölss)
₹3,508
Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693
Vorlesungen Über Massivbau (English, F. Leonhardt)
₹4,141Related Products
Der Untergang Des Niederländischen Volksliedes (English, H. F. Wirth)
₹3,587
Teaching School Mathematics: Algebra (English, Hardcover, Hung-Hsi Wu)
₹5,213
Prozessmanagement Individuell Umgesetzt (English, Eva-Maria Kern)
₹5,694
Dust Mites (English, Matthew J. Colloff)
₹23,844
Methodenhandbuch Für Softwareschulungen (English, Stefanie Gerlach | Inga Squarr)
₹5,040