عنوان
پدید آورنده
موضوع
رده
QA 248 .G573 1992
QA
248
.
G573
1992
کتابخانه
محل استقرار
113273
پائیز۶۷
English
)20(
Godel, Kurt.
On formally undecidable propositions of Principia mathematica and related systems
New York
Dover Publications
1992
viii, 72 p. ; 21 cm
Translation of a paper entitled Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I, published 1931 in the Monatshefte fur Mathematik und Physik, v. 38, p. 173-198
Reprint. Originally published: New York : Basic Books, c1962
Includes bibliographical references
، Godel's theorem
QA
248
.
G573
1992
AU
Kurt Godel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
TI
02
