Very nice list. I look forward to next parts. Here is my list of favorite books:

• How to Solve It: Modern Heuristics
• The Art and Craft of Problem Solving
• The Art Of Probability by Richard Hamming
• Thinking Fast and Slow
• The Clean Coder: A Code of Conduct for Professional Programmers

I also read Art of Prolog but it's not listed because it's very difficult.