This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the autho's puzzle books to his technical writing in the fascinating field of mathematical logic. --from publisher description.

These recreational logic puzzles provide entertaining variations on Godel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Written by a distinguished mathematician and creator of numerous popular puzzle books, this volume requires no background in formal logic.