Charles Petzold's book The Annotated Turing, which covers Turing's 1936 paper on computable numbers and much of the background material needed to understand it, is more than decent. As a result, I was ...