Sciences, Technology & Medicine
The Computational Complexity of Logical Theories (English, J. Ferrante | C. W. Rackoff)
₹5,562
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 | 9783540095019 |
| ISBN-10 | 3540095012 |
Product Description
About the Book
and background.- Ehrenfeucht games and decision procedures.- Integer addition An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.
ISBN: 9783540095019
Frequently Asked Questions
What is the price of The Computational Complexity of Logical Theories?
The Computational Complexity of Logical Theories is available at ₹5,562 on BookShops.in.
Does BookShops.in offer free delivery for The Computational Complexity of Logical Theories?
FREE delivery on all orders for The Computational Complexity of Logical Theories.
Is Cash on Delivery available for The Computational Complexity of Logical Theories?
Yes, Cash on Delivery (COD) is available for The Computational Complexity of Logical Theories on BookShops.in. Pay when your order arrives.
What is the return policy for The Computational Complexity of Logical Theories?
BookShops.in offers a 15-day hassle-free return policy for The Computational Complexity of Logical Theories. Contact us at support@bookshops.in or call +91 81899 68108.
Is The Computational Complexity of Logical Theories authentic?
The Computational Complexity of Logical Theories is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Related Products
View All
-43%Sciences, Technology & Medicine
Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer)
₹5,311₹9,385
-78%Sciences, Technology & Medicine
Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine)
₹5,209₹23,985
Sciences, Technology & Medicine
Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew)
₹4,788
Sciences, Technology & Medicine
Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman)
₹4,327
-74%Sciences, Technology & Medicine
Financial Products (English, Bill Dalton)
₹5,108₹19,961
-62%Sciences, Technology & Medicine
Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert)
₹5,407₹14,329