Karl Seguin is off to a great start with his series on Foundations of Programming.  He posted Part 2 today and it's a great read.  I look forward to the remainder of the series.