نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Generalized recursion theory. Proceedings of the 1972 Oslo symposium
پدید آورنده
موضوع
، Recursive functions
رده
QA
248
.
5
.
S93
1972
کتابخانه
كتابخانه مركزی دانشگاه صنعتي شريف
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
66005817
-
021
شناسگر استاندارد دیگر
شماره استاندارد
48842
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
عنوان اصلي
Generalized recursion theory. Proceedings of the 1972 Oslo symposium
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam, North-Holland Pub. Co., New York
نام ناشر، پخش کننده و غيره
American Elsevier Pub. Co.
تاریخ نشرو بخش و غیره
1974
مشخصات ظاهری
نام خاص و کميت اثر
viii, 456 p.; 23 cm
فروست
عنوان فروست
Studies in logic and the foundations of mathematics
شاپا ي ISSN فروست
V.79
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Recursive functions
رده بندی کنگره
شماره رده
QA
248
.
5
.
S93
1972
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Ed. by J. E. Fenstad and P. G. Hinman
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU kirE sneJ ,datsneF ed.
عنصر شناسه اي
AU .G reteP ,namniH ed.
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شناسه افزوده (تنالگان)
عنصر شناسه اي
Symposium on Generalized Recursion theory Oslo, 1972
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد