عنوان
پدید آورنده
موضوع
رده
QA 9.65 .G63U213
QA
9
.
65
.
G63U213
کتابخانه
محل استقرار
On formally undecidable propositions of principia mathematica and related systems
New York
Dover
c1992
viii, 72p
Translation of a paper entitled Uber formal unentscheidbare staze der principia mathematica und verwandter systeme I, Pub. 1931. Rep. Orig. pub. 1962
Includes bibliographical footnotes
ISBN: 0486669807
Kurt Godel; translated by B. Meltzer, Introduction by R.B. Braithwaite
1
، Godel's theorem
QA
9
.
65
.
G63U213
Godel, Kurt Friedrich, 6091-8791
AU
TI
