000 01018nam a2200253Ia 4500
001 113865
003 BIBL
005 20160527183700.0
008 840514s1962 nyu 00000 eng
010 _a 63017441 /L/r84
040 _aDLC/ICU
_cICU
041 1 _aengger
049 _aEVLG
050 0 _aQA248
_b.G573
082 0 _a510.1
092 _a510.1
_bG581
100 1 0 _aGödel, Kurt.
_9228654
_2Local
240 1 0 _aÜber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
_lEnglish
245 1 0 _aOn formally undecidable propositions of Principia mathematica and related systems.
_cTranslated by B. Meltzer. With introd. by R.B. Braithwaite.
260 0 _aNew York
_bBasic Books
_c[c1962]
300 _a72 p.
_c19 cm.
500 _aTranslation of paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198, 1931.
650 0 _aGödel's theorem.
_9228655
_2Local
999 _c95191
_d95191