Mathematical Logic Foundations Books : The Annotated Turing: A Guided Tour Through Alan Turing s Historic Paper on Computability and the Turing Machine
The Annotated Turing: A Guided Tour Through Alan Turing s Historic Paper on Computability and the Turing Machine