I read "How to Solve it by Computer" by R G Dromey, which is based on Polya's book is excellent too. Solving HTSIBC problems in Clojure may teach one a lot of Clojure IMHO.