عنوان
پدید آورنده
موضوع
رده
QA 9 .59 .B66 1989
QA
9
.
59
.
B66
1989
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
125778
شماره استاندارد
131274
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بها‌ر۰۸
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)24(
نام نخستين پديدآور
Boolos, George
عنوان اصلي
Computability and logic
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge
نام ناشر، پخش کننده و غيره
Cambridge University Press
تاریخ نشرو بخش و غیره
1989
مشخصات ظاهری
نام خاص و کميت اثر
x, 304 p.: ill.; 24 cm
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به ویراست و تاریخچه کتابشناختی اثر
متن يادداشت
3rd ed
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computable functions
عنصر شناسه ای
، Recursive functions
عنصر شناسه ای
، Logic, Symbolic and Mathematical
رده بندی کنگره
شماره رده
QA
9
.
59
.
B66
1989
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
George S. Boolos, Richard C. Jeffrey
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU .C drahciR ,yerffeJ
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
165
نحوه قرار گرفتن مدرك روي قفسه
165
