نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Solvable cases of the decision problem
پدید آورنده
Ackermann, Wilhelm
موضوع
، Logic, Symbolic and mathematical
رده
BC
135
.
A3
کتابخانه
كتابخانه پردیس علوم دانشگاه تهران
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
61112616
-
66495290
-
021
شناسگر استاندارد دیگر
شماره استاندارد
34908
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام نخستين پديدآور
Ackermann, Wilhelm
عنوان اصلي به قلم نويسنده ديگر
6981-
عنوان اصلي
Solvable cases of the decision problem
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
North-Holland Pub. Co.
تاریخ نشرو بخش و غیره
1968
مشخصات ظاهری
نام خاص و کميت اثر
viii, 114 p. : 22 cm
فروست
عنوان فروست
Studies in logic and foundations of mathematics
يادداشت کلی
متن يادداشت
Includes bibliography
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
BC
135
.
A3
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
یاضه ریه دانشکدانابخکت
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد