It contains a lot of, fairly well developed, underlying theory on how to write good programs. The maths in the first couple of chapters may be a little off putt

It contains a lot of, fairly well developed, underlying theory on how to write good programs. The maths in the first couple of chapters may be a little off putting - there's an old idea that people write books that concern the problems they're interested in even when trying to teach you something else - but you don't really have to understand the mathy bits to benefit from the book. If you've only done imperative programming before then it should be pretty eye-opening. If you've done functional programming before then it's not quite as O_O inducing, but still worth a read. Also, it's effectively free so you can easily have a look yourself ^_^