Logical Foundations of Proof Complexity (English, Stephen Cook | Phuong Nguyen)
by Stephen Cook | Phuong Nguyen
Delivery options
₹13,802
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: ₹13,802
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521517294
ISBN-10
052151729X
Author
Stephen Cook | Phuong Nguyen
About the Book
This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The result is a unifo…
ISBN: 9780521517294
ISBN-13: 9780521517294
ISBN-10: 052151729X
Frequently Asked Questions
What is the price of Logical Foundations of Proof Complexity?
Logical Foundations of Proof Complexity starts from ₹13802 at BookBajar. Available in Paperback.
Who is the author of Logical Foundations of Proof Complexity?
Stephen Cook | Phuong Nguyen is the author of Logical Foundations of Proof Complexity. Browse more books by Stephen Cook | Phuong Nguyen on BookBajar.
Is Logical Foundations of Proof Complexity available in Paperback and Hardcover?
Yes, Logical Foundations of Proof Complexity is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Logical Foundations of Proof Complexity?
Yes, BookBajar offers free delivery for Logical Foundations of Proof Complexity across India. No minimum order value required.
Is Cash on Delivery available for Logical Foundations of Proof Complexity?
Yes, Cash on Delivery (COD) is available for Logical Foundations of Proof Complexity on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521517294
🛒 Customers Also Bought
An Illustrated Guide to Anatomical Eponyms (English, Hans J. Ten Donkelaar | Marina Quartu | David Kachlík)
₹16,497
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹1,791
Vorlesungen Über Massivbau (English, F. Leonhardt)
₹4,141
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Chemoarchitecture of the Brain (English, R. Nieuwenhuys)
₹5,648
Gerichtliche Medizin (English, Berthold Mueller)
₹4,171Related Products
Io: A New View of Jupiter’s Moon (English, Rosaly M. C. Lopes | Katherine de Kleer | James Tuttle Keane)
₹11,975
Der Untergang Des Niederländischen Volksliedes (English, H. F. Wirth)
₹3,587
Classification Theory of Algebraic Varieties and Compact Complex Spaces (English, P. Cherenack | K. Ueno)
₹5,724
Sternverzeichnis Enthaltend Alle Sterne Bis Zur 6.5ten Grösse Für Das Jahr 1900.0 (English, Na Ambronn)
₹3,508
Five Types of Ethical Theory (English, Broad C.D.)
₹36,229