A Logical Introduction to Proof, 2013

Preface.- The Greek Alphabet.- 1. Propositional Logic.- 2. Predicate Logic.- 3. Proof Strategies and Diagrams.- 4. Mathematical Induction.- 5. Set Theory.- 6. Functions.- 7. Relations.- 8. Core Concepts in Abstract Algebra.- 9. Core Concepts in Real Analysis.- A Summary of Strategies.- References.- List of Symbols. Index.

Identifies the important topics in logic that mathematicians use in their proofs

Methodically presents the key strategies used in mathematical proofs

Each proof strategy is illustrated by a variety of theorems concerning the natural, rational and real numbers

An introduction to group theory and real analysis that presents proof strategies for dealing with the core concepts introduced in these subjects