عنوان
پدید آورنده
موضوع
رده
QA9.59 .B66 2002
QA9
.
59
.
B66
2002
کتابخانه
محل استقرار
شابک
شابک
0521809754
شابک
0521007585
شماره کتابشناسی ملی
کد کشور
IR
شماره
EB15587
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Computability and logic
نام عام مواد
[Electronic Resource]
وضعیت ویراست
وضعيت ويراست
4th ed. /George S. Boolos, John P. Burgess, Richard C. Jeffrey.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge ; New York
نام ناشر، پخش کننده و غيره
: Cambridge University Press,
تاریخ نشرو بخش و غیره
, 2002.
مشخصات ظاهری
نام خاص و کميت اثر
xi, 356 p. ill. 27 cm.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
ng
متن يادداشت
Includes bibliographical references (p. 348) and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computable functions
موضوع مستند نشده
Recursive functions
موضوع مستند نشده
Logic, Symbolic and mathematical
رده بندی ديویی
شماره
511
.
3
رده بندی کنگره
شماره رده
QA9
.
59
نشانه اثر
.
B66
2002
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Boolos, George.
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Burgess, John P.,1948-
مستند نام اشخاص تاييد نشده
Jeffrey, Richard C
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
0521809754.pdf
شماره دسترسي
محرمانه
اطلاعات مختصر
محرمانه
تاريخ و ساعت مذاکره و دسترسي
0521809754.pdf
بيت در ثانيه
0
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
