عنوان
پدید آورنده
موضوع
رده
QA 9 .D68 2011
QA
9
.
D68
2011
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
87051
عنوان و نام پديدآور
نام نخستين پديدآور
Dowek, Gilles
عنوان اصلي
Proofs and Algorithms: an introduction to logic and computability
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2011
مشخصات ظاهری
نام خاص و کميت اثر
xii, 155 p.: ill.
فروست
عنوان فروست
Undergraduate topics in computer science
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. 151( and index
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Gilles Dowek
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, Symbolic and mathematical
عنصر شناسه ای
، Computer logic
عنصر شناسه ای
، Proof theory
عنصر شناسه ای
، Algorithms
رده بندی کنگره
شماره رده
QA
9
.
D68
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
عنصر شناسه اي
TI Introduction to logic and computability
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ی‌اض‌ه ری‌ه دانشکد‌ان‌ابخ‌کت
