Nagel, Ernest, 1901-1985
Gödel's proof / Ernest Nagel and James R. Newman. -- London ; New York : Routledge, 2005. -- 94 s. -- ISBN : 0-415-35528-1.
Newman, James Roy, 1907-1966
Gödel, Kurt, 1906-1978. matematické důkazy. filozofie matematiky. Gödelovy věty. logika. monografie
51:168.3. 510.21. 510.6. 16. (048.8)