On my "to read" list, but haven't read it yet. However, I started watching these screencasts on Turing Machines and Lambda Calculus (examples in Python), and th

On my "to read" list, but haven't read it yet. However, I started watching these screencasts on Turing Machines and Lambda Calculus (examples in Python), and they are fantastic: https://www.destroyallsoftware.com/screencasts/catalog/introduction-to-computation https://www.destroyallsoftware.com/screencasts/catalog/intro... Also, I found this blog post good: "Tech Book Face Off: Gödel, Escher, Bach Vs. The Annotated Turing" http://sam-koblenski.blogspot.se/2016/01/tech-book-face-off-godel-escher-bach-vs.html http://sam-koblenski.blogspot.se/2016/01/tech-book-face-off-...