Good books but still quite standard. Spivak’s is standard on initial calculus courses at universities. If you really wanted non-standard but relevant authors I would add Feyerabend, Kuhn, Kahneman, Dostoyevsky, Borges, Taleb, Montaigne, Popper, Hofstadter, Don Norman, Alexandrescu. Add something about systems of representation by Kierkegaard or Nietzche or some interpretations by later authors.
Hoftstadter is fairly near standard isn't it? Assuming you mean actually reading GEB and not The Mind's I or I Am A Strange Loop . Not generally a course text but very common reading among CS/AI students. Some of whom even read all the way to the end instead of just pretending to! The book I would most recommend software developers read is Mindstorms: Children, Computers and Powerful Ideas by Seymour Papert. It's a l…
https://www.cs.virginia.edu/~evans/cs655/readings/purity.htm...