Updated as new comment since two hours already elapsed

[1] Concepts, Techniques, and Models of Computer Programming (MIT Press) - URL: https://www.amazon.com/Concepts-Techniques-Models-Computer-P...

[2] The Big Book of Concepts (MIT Press) - URL: https://www.amazon.com/Big-Book-Concepts-MIT-Press/dp/026263...

[3] Gödel, Escher, Bach: An Eternal Golden Braid - URL: https://www.amazon.com/Gödel-Escher-Bach-Eternal-Golden/dp/0...