Hofstadter, Douglas R., 1945-, author
Basic Books, 1985
Buku Teks
Ladyman, James, author
Routledge, 2002
Buku Teks
edited by Ron Sun
Cambridge University Press, 2008
Buku Referensi
edited by John D. Greenwood
Cambridge University Press , 1991
Buku Teks
Raffman, Diana
MIT Press, 1993
Buku Teks