'The CS Detective' is the most well written introduction to Computer Science theories I have ever come across: https://nostarch.com/csdetective

It is approachable, fun, and engaging. It frames concepts inside a 'detective' story, making the explanations less abstract and more practical.