01018nam a2200253Ia 4500 113865 BIBL 20160527183700.0 840514s1962 nyu 00000 eng 63017441 /L/r84 DLC/ICU ICU engger EVLG QA248 .G573 510.1 510.1 G581 Gödel, Kurt. 228654 Local Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. English On formally undecidable propositions of Principia mathematica and related systems. Translated by B. Meltzer. With introd. by R.B. Braithwaite. New York Basic Books [c1962] 72 p. 19 cm. Translation 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. Gödel's theorem. 228655 Local 95191 95191 0 0 0 510_100000000000000_G581 0 evl 33246 10 10 1 2016-05-27 173890 0 510.1 G581 80000001231763 2016-05-27 00:00:00 r:113865 z:NCC:D 6