Book contents
- Frontmatter
- Contents
- PREFACE
- CHAPTER I INTRODUCTION
- CHAPTER II THE PREDICATE CALCULUS AND THE SYSTEM LK
- CHAPTER III PEANO ARITHMETIC AND ITS SUBSYSTEMS
- CHAPTER IV TWO-SORTED LOGIC AND COMPLEXITY CLASSES
- CHAPTER V THE THEORY V0 AND AC0
- CHAPTER VI THE THEORY V1 AND POLYNOMIAL TIME
- CHAPTER VII PROPOSITIONAL TRANSLATIONS
- CHAPTER VIII THEORIES FOR POLYNOMIAL TIME AND BEYOND
- CHAPTER IX THEORIES FOR SMALL CLASSES
- CHAPTER X PROOF SYSTEMS AND THE REFLECTION PRINCIPLE
- APPENDIX A COMPUTATION MODELS
- BIBLIOGRAPHY
- INDEX
Contents
Published online by Cambridge University Press: 06 July 2010
- Frontmatter
- Contents
- PREFACE
- CHAPTER I INTRODUCTION
- CHAPTER II THE PREDICATE CALCULUS AND THE SYSTEM LK
- CHAPTER III PEANO ARITHMETIC AND ITS SUBSYSTEMS
- CHAPTER IV TWO-SORTED LOGIC AND COMPLEXITY CLASSES
- CHAPTER V THE THEORY V0 AND AC0
- CHAPTER VI THE THEORY V1 AND POLYNOMIAL TIME
- CHAPTER VII PROPOSITIONAL TRANSLATIONS
- CHAPTER VIII THEORIES FOR POLYNOMIAL TIME AND BEYOND
- CHAPTER IX THEORIES FOR SMALL CLASSES
- CHAPTER X PROOF SYSTEMS AND THE REFLECTION PRINCIPLE
- APPENDIX A COMPUTATION MODELS
- BIBLIOGRAPHY
- INDEX
Summary
- Type
- Chapter
- Information
- Logical Foundations of Proof Complexity , pp. vii - xiiPublisher: Cambridge University PressPrint publication year: 2010