Nagel, Ernest, 1901-1985
Gödelův důkaz / Ernest Nagel & James R. Newman ; redakce textu Douglas R. Hofstadter ; [z anglického originálu ... přeložil Rostislav Niederle]. -- Vyd. 1. -- V Brně : Vysoké učení technické ; Vutium, 2003. -- 126 s. -- (Quantum; sv. 1). -- Rejstř. -- ISBN : 8021423692.
Newman, James Roy, 1907-1966. Hofstadter, Douglas R., 1945-. Niederle, Rostislav, 1962-
Gödel, Kurt, 1906-1978. matematické důkazy. filozofie matematiky. Gödelovy věty. logika
16. 51:168.3. 51Gödel, Kurt. 510.21