I suggest also

"What Can Be Computed? A Practical Guide to the Theory of Computation" by John MacCormick

here's my review

https://www.linkedin.com/pulse/book-review-piero-giacomelli/