نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
عنوان
Computability in combinatory spaces
پدید آورنده
/ by Dimiter G. Skordev
موضوع
Recursion theory,Combinatory logic
رده
QA
9
.
6
.
S55
1992
کتابخانه
كتابخانه پردیس علوم (دانشگاه تهران)
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
61112616
-
66495290
-
021
شابک
شابک
0792315766
شماره کتابشناسی ملی
کد کشور
IR
شماره
12945
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Computability in combinatory spaces
نام عام مواد
[Book]
ساير اطلاعات عنواني
: an algebraic generalization of abstract first order computability
نام نخستين پديدآور
/ by Dimiter G. Skordev
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht, Boston
نام ناشر، پخش کننده و غيره
: Kluwer Academic Pub.
تاریخ نشرو بخش و غیره
, 1992.
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 320 p.
ابعاد
; 23 cm
فروست
عنوان فروست
(Mathematics and its applications. East European series
مشخصه جلد
; v. 55)
يادداشت کلی
متن يادداشت
Language: English
متن يادداشت
Rev. translation of: Kombinatorny postranstva i rekursivnost v nikh. 1980
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and indexes
فروست (داده ارتباطی)
عنوان
Mathematics and its applications (Kluwer Academic Publishers), East European series, v. 55
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Recursion theory
موضوع مستند نشده
Combinatory logic
رده بندی کنگره
شماره رده
QA
9
.
6
نشانه اثر
.
S55
1992
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Skordev, Dimitur Genchev
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. College of Science Library
شماره دستیابی
شماره بازیابی
QA 9.6 .S55 1992
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد