عنوان
پدید آورنده
موضوع
رده
QA 241 .M38
QA
241
.
M38
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Martin Davis on computability, computational logic, and mathematical foundations
نام نخستين پديدآور
Eugenio G. Omodeo, Alberto Policriti, editors
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
c2016
مشخصات ظاهری
نام خاص و کميت اثر
xxvii, 438 p.: ill. )some col.( + 1 computer file: PDF
فروست
ساير اطلاعات عنواني
Outstanding contributions to logic; 01
يادداشت کلی
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN: 9783319418414
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Number theory
عنصر شناسه ای
، Logic, Symbolic and mathematical
عنصر شناسه ای
، Davis, Martin, 8291-
عنصر شناسه ای
، Mathematicians -- United States
رده بندی کنگره
شماره رده
QA
241
.
M38
سایر رده بندی ها
شماره رده
NO
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Omodeo, Eugenio editor
عنصر شناسه اي
AU Policriti, Alberto editor
