A very good, deep and challenging book about the seminal computer science paper by Alan Turing.
Goodreads: / 2333956
Full tittle: The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine