El teorema de Gödel
Ernest Nagel y James R. Newman ; [traducción por Adolfo Martín].
Madrid : Tecnos, ©1970.
140 págs. ; 23 cm.
Serie: Estructura y función ; 31
Traducción de: Gödel's proof. New York University Press, 1958.
Bibliografía: p. [135].
Reseña: MathSciNet, 20 #1625 (de la versión original)