Gödel, Escher, Bach an eternal golden braid
Hofstadter, Douglas R.
Hassocks Harvester Press
1979
Also published: New York : Basic Books, 1979
Bibliography: p.746-756. - Includes index
Logic, Symbolic and mathematical.