Shows that there are underlying mathematical reasons for why games and puzzles are challenging (and perhaps why they are so much fun). This book also shows that games and puzzles can serve as powerful models of computation - quite different from the usual models of automata and circuits.