Dawson, John William, 1944- |
Completing the Gödel-Zermelo correspondence / John W. Dawson Jr. |
In: Historia mathematica Vol. 12 (1985), p. 66-70 |
Dawson, John William, 1944- |
Dilemmi logici : la vita e l'opera di Kurt Gödel / John W. Dawson, jr ; [traduzione di Paolo Pagli] |
Torino : Bollati Boringhieri, 2001. |
Odifreddi, Piergiorgio, 1950- |
Gödel e Turing : la nascita del computer e la società dell'informazione / Piergiorgio Odifreddi racconta |
Roma : Gruppo editoriale L'Espresso, c2012. |
Gödel, Kurt, 1906-1978 |
Opere / Kurt Gödel ; a cura di Solomon Feferman ; con la collaborazione di John W. Dawson Jr. ... [et al.] ; edizione italiana a cura di Edoardo Ballo ... [et al.]. |
Torino : Bollati Boringhieri, 1999-2009. |
Gödel, Kurt, 1906-1978 |
Scritti scelti (1933-1964) / Kurt Gödel ; a cura di Gabriele Lolli ; [traduzione di G. Lolli, C. Mangione, P. Pagli] |
Torino : Bollati Boringhieri, 2011. |
Il teorema di Gödel : una messa a fuoco / [a cura di] S.G. Shanker ; [traduzione e cura di Paolo Pagli] |
Padova : F. Muzzio, 1991. |