Finished that recently -- great book! His "Annotated Turing" is pretty great too, for machine heads.