A collection of entertaining and challenging logic puzzles which make accessible some of the most important and complex mathematical ideas of our time. The author creates a realm of characters who either always tell the truth or always lie, and sets a variety of problems for truth-seekers. He also investigates combinatory logic, in an adventure which culminates in Godel's famous theorem. Written by the author of Forever Undecided, this book will appeal to puzzle lovers and to students of logic and mathematics.