شابک
شابک
9780470280744 (cloth)
شماره کتابشناسی ملی
کد کشور
IR
شماره
E-6524
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Mathematical logic
نام عام مواد
[Book]
نام نخستين پديدآور
/ George Tourlakis
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Hoboken, N.J.
نام ناشر، پخش کننده و غيره
: Wiley
تاریخ نشرو بخش و غیره
, 2008.
مشخصات ظاهری
نام خاص و کميت اثر
xvii, 293 p. , ill. , 25 cm.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. 281-283) and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
PART I: BOOLEAN LOGIC -- The beginning -- Theorems and metatheorems -- The interplay between syntax and semantics -- PART II: PREDICATE LOGIC -- Extending Boolean logic -- Generalization and additional Leibniz rules -- Properties of equality -- First order semantics - very naeively -- Appendix A: Geodel theorems and computability -- A.1 Revisiting Tarski Semantics -- A.2 Completeness -- A.3 A brief theory of computability -- A.4 Geodel's first incompleteness theorem.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical- Textbooks
رده بندی کنگره
شماره رده
QA9
نشانه اثر
.
T68
2008
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Tourlakis, George J.
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
