Nagel, Ernest, 1901-1985
Gödelův důkaz / Ernest Nagel & James R. Newman ; redakce textu Douglas R. Hofstadter ; překlad Rostislav Niederle. -- Vyd. 1. brož. -- V Brně : Nakladatelství Vutium, 2006. -- xxiii, 126 s. -- (Quantum). -- Na rubu tit. s. uvedeno: 1. dotisk čes. vyd. vychází u příležitosti stého výročí narození Kurta Gödela, brněnského rodáka. Nejedná se o dotisk. Správný údaj v tiráži: vyd. 1. brož.. -- Přeloženo z angličtiny. -- Vydáno ve spolupráci s Brněnským centrem evropských studií. -- ISBN : 8021431741 (brož.).
Newman, James Roy, 1907-1966. Hofstadter, Douglas R., 1945-. Niederle, Rostislav, 1962-. Vysoké učení technické v Brně. Brněnské centrum evropských studií
Gödel, Kurt, 1906-1978. matematické důkazy. filozofie matematiky. Gödelovy věty. logika
16. 51:168.3. 51Gödel, Kurt. 510.21