عنوان
پدید آورنده
موضوع
رده
QA 9.65 .L56 1997
QA
9
.
65
.
L56
1997
کتابخانه
محل استقرار
شابک
ويژگيها
(V.1)
شابک
3540632131
شماره کتابشناسی ملی
شماره
6250
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
eng
عنوان و نام پديدآور
عنوان اصلي
Aspects of incompleteness
نام نخستين پديدآور
/ Per Lindstrom
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 1997.
مشخصات ظاهری
نام خاص و کميت اثر
x,132p.
فروست
عنوان فروست
(Lecture notes in logic
مشخصه جلد
; 10)
يادداشت کلی
متن يادداشت
Language: انگلیسی
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical reefrences
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Incompleteness theorems
عنصر شناسه ای
Recursion theory
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Lindstrom, Per, 1936-
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
