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

    Download PDF (327KB)

  2. No Access

    Book Chapter

    Pages 1-28

    Propositional Logic

    Look Inside Get Access

  3. No Access

    Book Chapter

    Pages 29-60

    Predicate Logic

    Look Inside Get Access

  4. No Access

    Book Chapter

    Pages 61-98

    Proof Strategies and Diagrams

    Look Inside Get Access

  5. No Access

    Book Chapter

    Pages 99-141

    Mathematical Induction

    Look Inside Get Access

  6. No Access

    Book Chapter

    Pages 143-168

    Set Theory

    Look Inside Get Access

  7. No Access

    Book Chapter

    Pages 169-207

    Functions

    Look Inside Get Access

  8. No Access

    Book Chapter

    Pages 209-237

    Relations

    Look Inside Get Access

  9. No Access

    Book Chapter

    Pages 239-291

    Core Concepts in Abstract Algebra

    Look Inside Get Access

  10. No Access

    Book Chapter

    Pages 293-340

    Core Concepts in Real Analysis

    Look Inside Get Access

  11. Back Matter

    Pages 341-356

    Download PDF (352KB)