Ich seh grad dass du eigentlich noch keine mental fordernden Bücher gelesen hast.. na dann werf ich mal SICP, PLAI und PAIP in den Ring

Daneben natürlich den "Cormen", der mich ebenfalls sehr beeindruckt hat.
Außerdem beizeiten auch noch Pragmatic Programmer.
Reddit hat auch noch
mehrere Listen die, natürlich auch von SICP angeführt werden.
Ich muss auch sagen rechts neben mir die ganze Schemer-Serie steht: The Little Schemer, The Seasoned Schemer und The Reasoned Schemer. Die sind auch empfehlenswert, nicht nur für Scheme-Programmier sondern auch um generelle Konzepte wie Rekursion zu verstehen. Ich kann mich noch gut erinnern was für ein Chaos im Kopf ich nach dem Little Schemer hatte aber retrospektiv gesehen ist das Buch die beste Einleitung in Rekursion die ich kenne.
Persönlich muss ich sagen dass ich früher ein großer Fan von OReilly war und das Artwork noch immer bewundere - aber heutzutage muss ich zugeben dass mich die Themenwahl von Manning, No Starch Press, ja sogar Apress mehr ansprechen. Und eben die hier bereits erwähnten MIT Press-Artikel.