Book 2004

Logic and Structure

Authors:

ISBN: 978-3-540-20879-2 (Print) 978-3-540-85108-0 (Online)

Table of contents (8 chapters)

  1. Front Matter

    Pages i-x

  2. No Access

    Chapter

    Pages 1-3

    Introduction

  3. No Access

    Chapter

    Pages 5-56

    Propositional Logic

  4. No Access

    Chapter

    Pages 57-102

    Predicate Logic

  5. No Access

    Chapter

    Pages 103-142

    Completeness and Applications

  6. No Access

    Chapter

    Pages 143-152

    Second Order Logic

  7. No Access

    Chapter

    Pages 153-186

    Intuitionistic Logic

  8. No Access

    Chapter

    Pages 187-208

    Normalisation

  9. No Access

    Chapter

    Pages 209-256

    Gödel’s theorem

  10. Back Matter

    Pages 257-263