F. Netto, “Os Teoremas de Gödel”, CadMAT, vol. 5, nº 23, dez. 2011.