Computer Science

Structure and Interpretation of Computer Programs
Superintelligence: Paths, Dangers, Strategies
Gödel, Escher, Bach: an Eternal Golden Braid