6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
E - ANSWERS TO THE EXERCISES
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 233-330
-
- Chapter
- Export citation
13 - Bounds for Frege and extended Frege systems
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 279-298
-
- Chapter
- Export citation
12 - Bounds for constant-depth Frege systems
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 232-278
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 1-2
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp xvi-xvi
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/52052/cover/9780521452052.jpg)
Bounded Arithmetic, Propositional Logic and Complexity Theory
-
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995
1 - BASICS: THE MODAL APPROACH TO KNOWLEDGE
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 7-44
-
- Chapter
- Export citation
5 - Basic bounded arithmetic
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 62-92
-
- Chapter
- Export citation
7 - Witnessing theorems
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 102-131
-
- Chapter
- Export citation
11 - Direct independence proofs
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 210-231
-
- Chapter
- Export citation
3 - Basic complexity theory
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 8-22
-
- Chapter
- Export citation
9 - Translations of arithmetic formulas
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 139-184
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp i-viii
-
- Chapter
- Export citation
Preface
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp xiii-xv
-
- Chapter
- Export citation
0 - INTRODUCTION
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 1-6
-
- Chapter
- Export citation
References
-
- Book:
- Bounded Arithmetic, Propositional Logic and Complexity Theory
- Published online:
- 02 December 2009
- Print publication:
- 24 November 1995, pp 327-334
-
- Chapter
- Export citation
Index
-
- Book:
- Algebraic Set Theory
- Published online:
- 04 August 2010
- Print publication:
- 14 September 1995, pp 120-123
-
- Chapter
- Export citation
Introduction
-
- Book:
- Algebraic Set Theory
- Published online:
- 04 August 2010
- Print publication:
- 14 September 1995, pp 1-6
-
- Chapter
- Export citation
Appendix C - Descent
-
- Book:
- Algebraic Set Theory
- Published online:
- 04 August 2010
- Print publication:
- 14 September 1995, pp 113-116
-
- Chapter
- Export citation
Contents
-
- Book:
- Algebraic Set Theory
- Published online:
- 04 August 2010
- Print publication:
- 14 September 1995, pp v-vi
-
- Chapter
- Export citation