I might recommend a course (or book) on Logic. I took one course in that many years ago and that has helped immensly with my programming skills, such as they are. Might help, might merely be redundant as well :-)

"Ex libris un peut de tout"