عنوان
پدید آورنده
موضوع
رده
QA 9.59 .B66
QA
9
.
59
.
B66
کتابخانه
محل استقرار
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
لاتين
عنوان و نام پديدآور
نام نخستين پديدآور
George S. bools, John P.Burgess, Richard C. Jeffrey
عنوان اصلي
Computability and logic
وضعیت ویراست
وضعيت ويراست
5th ed.
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
2007
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 350 p. : ill.
یادداشتهای مربوط به بسته بندی و دسترس بودن اثر
متن يادداشت
مرجع به حساب نمي آيد
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computable functions
عنصر شناسه ای
Recursive functions
عنصر شناسه ای
Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
9
.
59
.
B66
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
مولف
کد نقش
Boolos, George
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Burgess, John P.
عنصر شناسه اي
Jeffrey, Richard C.
تاريخ
1948-
