Godel, Escher, Bach definitely to see how nearly everything can be made into symbols which computers can manipulate, eg how music is maths etc