|
|
Sold Out
Book Categories |
Ch. I Introduction 1
Ch. II The Predicate Calculus and the System LK 9
Ch. III Peano Arithmetic and Its Subsystems 39
Ch. IV Two-Sorted Logic and Complexity Classes 73
Ch. V The Theory V[superscript 0] and AC[superscript 0] 95
Ch. VI The Theory V[superscript 1] and Polynomial Time 133
Ch. VII Propositional Translations 159
Ch. VIII Theories for Polynomial Time and Beyond 201
Ch. IX Theories for Small Classes 267
Ch. X Proof Systems and the Reflection Principle 363
App. A Computation Models 445
Bibliography 457
Index 465
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Brian Gonsalves
reviewed Logical Foundations of Proof Complexity on October 01, 2012
Logical Foundations of Proof Complexity
This book is mostly about self-awareness--that is, awareness of the self--and other issues having to do with indexicals and the first-person. I know of no collection that has a better, more representative sample of articles on the subject. It's a great book.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Logical Foundations of Proof Complexity
X
This Item is in Your Inventory
Logical Foundations of Proof Complexity
X
You must be logged in to review the productsX
X
X
Add Logical Foundations of Proof Complexity, 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. Associate, Logical Foundations of Proof Complexity to the inventory that you are selling on WonderClubX
X
Add Logical Foundations of Proof Complexity, 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. Associate, Logical Foundations of Proof Complexity to your collection on WonderClub |