Discovered an amazing book which I am really encouraged to read.
Turing's theories are well-known but I've never understood them. So I will try to deal with it after current books. Btw, I've read another non-fiction book by that author about computer architecture. It's quite hard bur really comprehensive.


The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
https://www.amazon.com/Annotated-Turing-Through-Historic-Computability/dp/0470229055