Gödelův důkaz - Nagel, Ernest, 1901-1985; Newman, James Roy, 1907-1966 (Quantum, 2003)