A colleague of mine with a background in semiotics recently read Godel, Escher, Bach, and said it was, among other things, to his surprise a good introduction to something very similar to semiotics, but independently derived by Hofstadter from first principles.