00931nam a2200217Ia 4500001000700000003000500007005001700012008004100029010002100070040001700091041001100108050001700119082001000136100002600146240010300172245014800275260003500423300001800458500020700476650003000683113865BIBL20160527183700.0840514s1962 nyu 00000 eng a 63017441 /L/r84 aDLC/ICUcICU1 aengger0 aQA248b.G5730 a510.110aGödel, Kurt.2Local10aÜber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.lEnglish10aOn formally undecidable propositions of Principia mathematica and related systems.cTranslated by B. Meltzer. With introd. by R.B. Braithwaite.0 aNew YorkbBasic Booksc[c1962] a72 p.c19 cm. aTranslation of paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198, 1931. 0aGödel's theorem.2Local