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

.