عنوان
پدید آورنده
موضوع
رده
QA9 .H527 2005
QA9
.
H527
2005
کتابخانه
محل استقرار
شابک
شابک
1315275538
شابک
1439864276
شابک
9781315275536
شابک
9781439864272
شابک اشتباه
9781568812625
عنوان و نام پديدآور
عنوان اصلي
Fundamentals of mathematical logic /
نام عام مواد
[Book]
نام نخستين پديدآور
Peter G. Hinman.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Wellesley, Mass. :
نام ناشر، پخش کننده و غيره
A K Peters,
تاریخ نشرو بخش و غیره
©2005.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xvi, 878 pages) :
ساير جزييات
illustrations
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 821-828) and indexes.
یادداشتهای مربوط به مندرجات
متن يادداشت
1. Propositional logic and other fundamentals -- 2. First-order logic -- 3. Completeness and compactness -- 4. Incompleteness and undecidability -- 5. Topics in definability -- 6. Set theory -- 7. Model theory -- 8. Recursion theory.
بدون عنوان
0
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Ingram Content Group
شماره انبار
TANDF_234055
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
1568812620
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Model theory.
موضوع مستند نشده
Recursion theory.
موضوع مستند نشده
Set theory.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
MATHEMATICS-- General.
موضوع مستند نشده
Model theory.
موضوع مستند نشده
Recursion theory.
موضوع مستند نشده
Set theory.
مقوله موضوعی
موضوع مستند نشده
MAT-- 000000
رده بندی ديویی
شماره
511
.
3
رده بندی کنگره
شماره رده
QA9
نشانه اثر
.
H527
2005
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Hinman, Peter G.
مبدا اصلی
تاريخ عمليات
20200822171613.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
