Select bibliography

Gödel, Escher, Bach, by Douglas Hofstadter, Penguin, 1979
PDF version here

Logical Dilemmas: The Life and Work of Kurt Gödel, by John W. Dawson Jr, A K Peters/CRC Press, 1996

The Universal Computer: The Road from Leibniz to Turing, by Martin Davis, CRC Press, 2012

The Goddess of Small Victories (fiction, English translation), by Yannick Grannec, Other Press, 2014

For a fuller bibliography, see here