Robin Berjon @robinberjon · 17 Aug 2014 If you like your #Entscheidungsproblem with copious extra details, I recommend "The Annotated Turing" by Charles Petzold.
