Logic and Structure

Authors:

ISBN: 978-1-4471-4557-8 (Print) 978-1-4471-4558-5 (Online)

Table of contents (8 chapters)

  1. Front Matter

    Pages I-X

  2. No Access

    Book Chapter

    Pages 1-3

    Introduction

  3. No Access

    Book Chapter

    Pages 5-52

    Propositional Logic

  4. No Access

    Book Chapter

    Pages 53-96

    Predicate Logic

  5. No Access

    Book Chapter

    Pages 97-144

    Completeness and Applications

  6. No Access

    Book Chapter

    Pages 145-153

    Second-Order Logic

  7. No Access

    Book Chapter

    Pages 155-185

    Intuitionistic Logic

  8. No Access

    Book Chapter

    Pages 187-207

    Normalization

  9. No Access

    Book Chapter

    Pages 209-255

    Gödel’s Theorem

  10. Back Matter

    Pages 257-263