Nagel, Ernest and
Newman, James R. 1958.
Gödel’s Proof. New York: New York University Press.
Nagel, Ernest and
Newman, James R. 1989.
“La démonstration de Gödel.” in
Le théorème de Gödel, edited by Jean-Baptiste
Scherrer, pp. 16–103. Paris:
Éditions du Seuil.
Traduction de Nagel and Newman (1958) par Jean-Baptiste Scherrer.
Nagel, Ernest and
Newman, James R. 2001.
Gödel’s Proof. New York: New York University Press.
First edition: Nagel and Newman (1958); this edition edited and with a new foreword by Douglas R. Hofstadter.