Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-79 Item s.d. Parte de Ayda Ignez Arruda LARGEAULT, Jean. La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Gödel, p.56-79. Ayda Ignez Arruda