Le théorème de Gödel - Nagel, Ernest, 1901-1985. (Editions du Seuil, 1989)
Trad. de : "Gödel's proof", E. Nagel et J. R. Newman ; et de : "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I", Gödel, 1931
Autre contribution : Jean-Yves Girard (auteur d'un commentaire)
Autre(s) tirage(s) : 1994