Gödel, Escher, Bach an eternal golden braid
Hofstadter, Douglas R.,1945-
Harmondsworth Penguin
1980, c1979
Originally published: Brighton : Harvester Press, 1979
Bibliography: p746-756. - Includes index
Logic, Symbolic and mathematical.