Mathematical Foundations of Games and Puzzles

The authors show that there are underlying mathematical reasons for why games and puzzles are challenging (and perhaps why they are so much fun).

Games and Puzzles as Models of Computation

They also show that games and puzzles can serve as powerful models of computation—quite different from the usual models of automata and circuits—offering a new way of thinking about computation.