La prova di Gödel - Nagel, Ernest, <1901-1985>. (OLS)http://semarc/name/35267; Newman, James R., <1907-1966>. (OLS)http://semarc/name/110744; Ballo, Edoardo. (OLS)http://semarc/name/10400; Bianchi, Luigi, <traduttore>. (OLS)http://semarc/name/110809 (Bollati Boringhieri,, 2016)
Keywords: Gödel, Kurt. (OLS)http://semarc/subject/3611; Gödel, Kurt - Dimostrazione della indecidibilità. (OLS)http://semarc/subject/31810; Matematica - Teorie - Sec. 20. (OLS)http://semarc/subject/24633; Logica matematica. (OLS)http://semarc/subject/3241