Suitable as a high school text (first six chapters) or as a college text (all 16 chapters).

ISBN: 978-1-937032-55-5

Click here to view sample pages of this book

List of Topics Covered:

Sentences in logic. Connectives. Inductive reasoning. Seventeen logic fallacies. Predicate logic. Syllogisms. Quantifiers. Proofs in predicate logic. Direct and indirect proofs. Set theory as a predicate logic structure. Axiom systems: consistent, complete, meaningful, independent, and recursive. Arithmetic model. Gödel numbering of symbols, sentences, and proofs. Proof of the Diagonal Lemma. Gödel’s Completeness theorem. Gödel’s two Incompleteness theorems and their proofs. Many puzzles (exercises) and their complete solutions.

The full 10-book Extra High School and College Math series includes:

1. Life of Fred: Logic
2. Life of Fred: Calculus Expanded Edition (freshman and sophomore year of college)
3. Life of Fred: Statistics Expanded Edition
4. Life of Fred: Life of Fred: Five Days of Upper Division Math: Set Theory, Modern Algebra, Abstract Arithmetic, Topology
5. Life of Fred: Abstract Algebra
6. Life of Fred: Linear Algebra Expanded Edition (junior year of college)
7. Life of Fred: Real Analysis
8. Life of Fred: Complex Analysis
9. Life of Fred: Numerical Analysis
10. Life of Fred: Metamathematics 

Life of Fred: Chemistry can also be read near the end of High-School or early College.