More than two hundred new and challenging logic puzzles—the simplest brainteaser to the most complex paradoxes in contemporary mathematical thinking—from ou

Honorable knights, lying knaves, and other fanciful characters populate this unusual survey of the principles underlying the works of Georg Cantor. Created by a

Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others

These logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provabilit

An unusual problem book that focuses on the method of solution, this collection spotlights 52 problems, each with several approaches to situations involving mea