• Notas bibliográficas: Gódel's proof 

      E., Nacel; J. R., Newman; A., Trendall
      E. Nacel y J. R. Newman. Gódel's Proof, edit. Routledge Kegan Paul, London, 1959, 118 pgs. La obra está dedicada a Bertrand Russell (pg. v). Capítulo I, Introducción: señala el estudio de Kur Gódel, Uber formal ...
      Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Humanas Departamento de Filosofía.