Gödelův důkaz / Ernest Nagel & James R. Newman ; redakce textu [a předmluva] Douglas R. Hofstadter, [předmluva k českému vydání Jan Novotný ; z anglického originálu ... přeložil Rostislav Niederle] . Brno : VUTIUM, 2003. xxiii, 126 s.