[GÖDEL, Kurtt]. O Teorema de Gödel e a Hipótese do Contínuo. Ed. de M. Lourenço. Lisboa, 1979.

[GÖDEL, Kurtt, 1906-1978].  O Teorema de Gödel e a Hipótese do Contínuo. Antologia organizada, prefaciada e traduzida de varios originais ingleses, por Manuel Lourenço. [Textos de Kurt Gödel, Paul Cohen, J.B. Rosser, Alan M. Turing, Solomon Feferman e Michael Dummett].  Lisboa, Fundação Calouste Gulbenkian, Tipografia Matemática, 1979.  4to. mayor; XCIV pp., 1 h., 900 pp., 1 h.  Cubiertas originales.

• Matemática
• Filosofía
• Historia de la Ciencia
• Historia de las Ideas
• Tecnología & Historia Ind.
• Austria