Bernard M. Moret’s book on “The Theory of Computation” has the best Introduction I have ever read in any book. It has everything an Introduction should have: a chronological survey of key problems solved, key challenges, how these challenges can be categorised and what came out of these. After reading the intro, I can’t resist reading the rest of the book.
I was surprised to learn how Mathematicians and Logicians sowed seeds for the current digital era. The work of Godel, Church and Turing for instance are beyond doubt a must know for every “Computer” scientist. If the Theory of complexity, and Theory of Computability can be developed so nicely, there is no research in the world that cannot be well analyzed and presented.