/r/Computability
Computable and recursive functions. Turing, Church, Kleene, Post.
The Annotated Turing by Charles Petzold
Turing's Vision by Chris Bernhardt
The Universal Computer by Martin Davis