On formally undecidable propositions of principia mathematica and related systems
Godel, Kurt, 1906-1978,
On formally undecidable propositions of principia mathematica and related systems / Kurt godel ; translated by b. meltzer ; introd. by r.b. braithwaite - viii, 72 páginas
Reimpreso originalmente publicado: New York : Basic Books, c1962 Traducción del documento publicado en 1931 en la Monatshefte fur mathematik und physik, v. 38, p. 173-198
0-486-66980-7 (rustica)
Teorema de Gödel
QA248 / G6213
On formally undecidable propositions of principia mathematica and related systems / Kurt godel ; translated by b. meltzer ; introd. by r.b. braithwaite - viii, 72 páginas
Reimpreso originalmente publicado: New York : Basic Books, c1962 Traducción del documento publicado en 1931 en la Monatshefte fur mathematik und physik, v. 38, p. 173-198
0-486-66980-7 (rustica)
Teorema de Gödel
QA248 / G6213