A unit that introduces types of statements, truth tables, and Venn Diagrams, as well as the language of Logic and Set Theory. Exercises are provided.

Excerpts/quotes explaining Gödel's Incompleteness Theorem: any logical system contains a true statement that cannot be proven using that system's rules.

This is a group of logic puzzles and musings upon self-referential statements and the value of logic.

This cornucopia of math and logic problems is provided at no charge courtesy of the folks at BarCodes Inc. Designed to serve as a type of one-stop destination for those who love such activities, the site serves as a...