Gödel, Kurt , 1906-1978
Some mathematical results on completeness and consistency. On formally undecidable propositions of Principia mathematica and related systems I, and On completeness and consistency / Kurt Gödel
Lógica Matemática
Some mathematical results on completeness and consistency. On formally undecidable propositions of Principia mathematica and related systems I, and On completeness and consistency / Kurt Gödel
Lógica Matemática