Godel, Kurt On Formally undecidable proposition of principia mathematica and related sistems / Kurt Godel ; tr. by B. Meltzer ; introd. by R.B. Braithwaite. - 1a ed. - New York : Dover Publications, 1992 - viii, 72 p. : 20 cm. ISBN: 0486669807 (papel alcalino) Subjects--Topical Terms: Teorema de Gödel LC Class. No.: BC50 / G63 1992 QA248 / G63 1992