Springer
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
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
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
Book Specifications
| ISBN-13 | 9783540095019 |
| ISBN-10 | 3540095012 |
| Publisher | Springer |
| Category | Springer |
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 90874 10993.
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.
Customers Also Bought
Springer
Replacement of Renal Function by Dialysis: A Textbook of Dialysis | by William Drukker | Frank M. Parsons | J. F. Maher | Kluwer Academic Pub | English | 2nd Edition
₹5,083
McFarland & Company
Paul Auster and the Influence of Maurice Blanchot | by María Laura Arce | McFarland Publishing | English
₹3,643
Robin Grille Press
Parenting for a Peaceful World by Robin Grille
₹2,592
Rowman & Littlefield Publishers
Doctor Who and the Art of Adaptation: Fifty Years of Storytelling | by Marcus K. Harmes | Rowman & Littlefield Pub Inc | English
₹5,423
Routledge
The Routledge Handbook of Attachment | by Paul Holmes | Steve Farnfield | Routledge | English | 1st Edition
₹5,311
Springer
Contemporary Methods for Speech Parameterization | by Todor Ganchev | Springer Verlag | English | Illustrated Edition
₹4,187
Related Products
View AllSpringer
Replacement of Renal Function by Dialysis: A Textbook of Dialysis | by William Drukker | Frank M. Parsons | J. F. Maher | Kluwer Academic Pub | English | 2nd Edition
₹5,083
Springer
Ermittlung Der Billigsten Betriebskraft Für Fabriken | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst
₹5,829
Springer
Historische Studien Und Skizzen Zu Natur- Und Heilwissenschaft | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | b
₹3,508
Springer
Kondensation. | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | S
₹3,508
Springer
Rechnernetze und Datenkommunikation | by Reinhold Franck | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | Softcover reprint of the original 1st ed. 1986 Edition
₹3,548
Springer
Contemporary Methods for Speech Parameterization | by Todor Ganchev | Springer Verlag | English | Illustrated Edition
₹4,187