dncrane

From those I personally recommend "Structure and Interpretation of Computer Programs"

and "Gödel, Escher, Bach". SICP might not make it through, but GEB definitely would (although its direct relevance to day-to-day work in web development may be questionable, it should do a lot to spark an interest in computer science).