When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Proof Complexity, Hardcover by Krajicek, Jan, Like New Used, Free shipping in...
- Item No : 388507923884
- Condition : Like New
- Brand : No brand Info
- Seller : greatbookprices1
- Current Bid : US $153.91
-
* Item Description
- Proof Complexity, Hardcover by Krajicek, Jan, ISBN 1108416845, ISBN-13 9781108416849, Like New Used, Free shipping in the US
"Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it favors more generalizable statements. Lower bounds for lengths of proofs, often regarded as the key issue in proof complexity, are of course covered in detail. However, upper bounds are not neglected: this book also explores the relations between bounded arithmetic theories and proof systems and how they can be used to prove upper bounds on lengths of proofs and simulations among proof systems. It goes on to discuss topics that transcend specific proof systems, allowing for deeper understanding of the fundamental problems of the subject"--
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
-
- The Lost Super Foods
- $ 37.00
- The Self-Sufficient Backyard
- $ 37.00
- A Navy Seals BUG IN GUIDE
- $ 39.00
- Childrens Books Phonics Lot 60
- $ 34.99
