Logic and Complexity

Authors:

ISBN: 978-1-4471-1052-1 (Print) 978-0-85729-392-3 (Online)

Table of contents (19 chapters)

  1. Front Matter

    Pages i-x

  2. Introduction

    1. No Access

      Book Chapter

      Pages 1-2

      Introduction

  3. Basic model theory and computability

    1. Front Matter

      Pages 3-3

    2. No Access

      Book Chapter

      Pages 5-23

      Propositional logic

    3. No Access

      Book Chapter

      Pages 25-39

      Deduction systems

    4. No Access

      Book Chapter

      Pages 41-55

      First-order logic

    5. No Access

      Book Chapter

      Pages 57-66

      Completeness of first order logic

    6. No Access

      Book Chapter

      Pages 67-82

      Models of computation

    7. No Access

      Book Chapter

      Pages 83-108

      Recursion and decidability

    8. No Access

      Book Chapter

      Pages 109-128

      Incompleteness of Peano arithmetic

  4. Descriptive Complexity

    1. Front Matter

      Pages 129-129

    2. No Access

      Book Chapter

      Pages 131-150

      Complexity: time and space

    3. No Access

      Book Chapter

      Pages 151-174

      First-order definability

    4. No Access

      Book Chapter

      Pages 175-190

      Inductive definitions and second-order logic

    5. No Access

      Book Chapter

      Pages 191-212

      Time complexity: the classes P and NP

    6. No Access

      Book Chapter

      Pages 213-227

      Models of parallel computations

    7. No Access

      Book Chapter

      Pages 229-250

      Space complexity: the classes L, FL, NL and PSPACE

    8. No Access

      Book Chapter

      Pages 251-262

      Definability of optimization and counting problems

  5. Approximation and classes beyond NP

    1. Front Matter

      Pages 263-263

    2. No Access

      Book Chapter

      Pages 265-277

      Probabilistic Classes

    3. No Access

      Book Chapter

      Pages 279-298

      Probabilistic verification

    4. No Access

      Book Chapter

      Pages 299-321

      Approximation

    5. No Access

      Book Chapter

      Pages 323-342

      Classes beyond NP

  6. Back Matter

    Pages 343-361