عنوان
پدید آورنده
موضوع
رده
QA 9,.59 .E67
QA
9
,.
59
.
E67
کتابخانه
محل استقرار
شابک
شرايط تهيه و بها
:اهدائی
شماره کتابشناسی ملی
شماره
52748
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
eng
عنوان و نام پديدآور
عنوان اصلي
Computability: Computable Functions, Logic, And The Foundations Of Mathematics
نام نخستين پديدآور
\ Richard L. Epstein, Walter A. Carnielli
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
California
نام ناشر، پخش کننده و غيره
: Wadsworth & Brooks
تاریخ نشرو بخش و غیره
, 1989
مشخصات ظاهری
نام خاص و کميت اثر
xvii, 297 p.
ساير جزييات
: ill.
فروست
عنوان فروست
The Wadsworth & Brooks/Cole mathematics series
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
توابع محاسبه‌پذیر
عنصر شناسه ای
منطق ریاضی
موضوع مستند نشده
Computable functions
موضوع مستند نشده
Logic, Symbolic and mathematical
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Epstein, Richard L., 1947-
مستند نام اشخاص تاييد نشده
اپ‍س‍ت‍ای‍ن، ری‍چ‍ارد
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Carnielli, Walter Alexandre
مستند نام اشخاص تاييد نشده
کارنیلی، والتر الکساندر
