عنوان
پدید آورنده
موضوع
رده
QA 76 .P7 D6 2011
QA
76
.
P7
D6
2011
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
1965
عنوان و نام پديدآور
نام نخستين پديدآور
Dowek, Gilles.
عنوان اصلي
Proofs and algorithms an introduction to logic and computability
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London ;New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
c2011
مشخصات ظاهری
نام خاص و کميت اثر
xii, 155 p. , ill. , 24 cm.
فروست
عنوان فروست
Undergraduate topics in computer science,3681-0137
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. 151( and index.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, Symbolic and mathematical
عنصر شناسه ای
، Algorithms
رده بندی ديویی
شماره
004
.
015113
رده بندی کنگره
شماره رده
QA
76
.
P7
D6
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Gilles Dowek
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ل‌ا‌ه دیجیت‌ان‌ابخ‌کت
