What makes a great puzzle? Five books, five answers.

Languages. Shapes. Logic. Computation. And a rival to sudoku.