نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
Sentences undecidable in formalized arithmetic ; an exposition of the theory of Kurt Godel
پدید آورنده
Mostowski, Andrzej
موضوع
، Godel's theorem
رده
QA
9
.
M6
کتابخانه
كتابخانه مركزی دانشگاه صنعتی شریف
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
66005817
-
021
شناسگر استاندارد دیگر
شماره استاندارد
73519
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
Mostowski, Andrzej
عنوان اصلي
Sentences undecidable in formalized arithmetic ; an exposition of the theory of Kurt Godel
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
North-Holland Pub. Co.
تاریخ نشرو بخش و غیره
1957
مشخصات ظاهری
نام خاص و کميت اثر
117 p. ; 22 cm
فروست
عنوان فروست
Studies in logic and the foundations of mathematics
يادداشت کلی
متن يادداشت
Erratum slip inserted opposite p.1
متن يادداشت
Includes Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Godel's theorem
رده بندی کنگره
شماره رده
QA
9
.
M6
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد