Proofs in predicate logic plus direct and indirect proofs
Set theory as a predicate logic structure
Axiom systems: consistent, complete, meaningful, independent, and recursive
And more!
Written in same fun, playful, and directly conversational tone as other Fred books, this text is filled with 'puzzles' rather than 'problems,' along with continuing storyline of 6-year-old mathematical genius Fred.
The first six chapters can be used for a high school logic course; the entire book together can be used for a college-level course. No mathematical pre-requisites. Solutions are included in the back of the book. 176 pages, hardcover. Non-consumable textbook. 16 chapters and 99 puzzles included.