Did you read his book Godel Escher Bach? It's a good book. CS people love it as it's all about recursion and puzzles.