"The Little Schemer" (https://www.programmingbooks.dev/#the-little-schemer) is a classic that has stood the test of time.

Otherwise I think "The Golden Ticket: P, NP, and the Search for the Impossible" is a hidden gem about a very interesting CS topic.