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... (https://www.amazon.com/Concepts-Techniques-Models-Computer-Programming/dp/0262220695) [2] The Big Book of Concepts (MIT Press) - URL: https://www.amazon.com/Big-Book-Concepts-MIT-Press/dp/026263... (https://www.amazon.com/Big-Book-Concepts-MIT-Press/dp/0262632993/ref=sr_1_1?ie=UTF8&qid=1468535286&sr=8-1&keywords=The+Big+Book+of+Concepts) [3] Gödel, Escher, Bach: An Eternal Golden Braid - URL: https://www.amazon.com/Gödel-Escher-Bach-Eternal-Golden/dp/0... (https://www.amazon.com/Gödel-Escher-Bach-Eternal-Golden/dp/0465026567/ref=sr_1_1?ie=UTF8&qid=1468535300&sr=8-1&keywords=escher+godel+bach)
Also recommended in this reply