La prova di Gödel / Ernest Nagel e James R. Newman ; con un saggio di Jean-Yves Girard. - Nagel, Ernest. (OLS)http://pul/name/39521; Girard, Jean-Yves. (OLS)http://pul/name/39523; Newman, James R. (OLS)http://pul/name/39522 (Bollati Boringhieri, 1992)
Note bibliografiche.