Publicação Add to clipboard BR SPCLEARQ AIA-I-79 · Item · s.d. Part of 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. Untitled