Book 2013

A Logical Introduction to Proof

Authors:

ISBN: 978-1-4614-3630-0 (Print) 978-1-4614-3631-7 (Online)

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xv

  2. No Access

    Chapter

    Pages 1-28

    Propositional Logic

  3. No Access

    Chapter

    Pages 29-60

    Predicate Logic

  4. No Access

    Chapter

    Pages 61-98

    Proof Strategies and Diagrams

  5. No Access

    Chapter

    Pages 99-141

    Mathematical Induction

  6. No Access

    Chapter

    Pages 143-168

    Set Theory

  7. No Access

    Chapter

    Pages 169-207

    Functions

  8. No Access

    Chapter

    Pages 209-237

    Relations

  9. No Access

    Chapter

    Pages 239-291

    Core Concepts in Abstract Algebra

  10. No Access

    Chapter

    Pages 293-340

    Core Concepts in Real Analysis

  11. Back Matter

    Pages 341-356