عنوان
پدید آورنده
موضوع
رده
QA9 .H32 1977
QA9
.
H32
1977
کتابخانه
محل استقرار
شابک
شابک
0080933645
شابک
9780080933641
شماره کتابشناسی ملی
شماره
b728321
عنوان و نام پديدآور
عنوان اصلي
Handbook of mathematical logic. tics; ed. by barwise, jon.
نام عام مواد
[Book]
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
NORTH HOLLAND,
تاریخ نشرو بخش و غیره
1999.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource
یادداشتهای مربوط به مندرجات
متن يادداشت
Pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Symbolische logica.
موضوع مستند نشده
Wiskundige logica.
رده بندی ديویی
شماره
511/
.
3
ويراست
22
رده بندی کنگره
شماره رده
QA9
نشانه اثر
.
H32
1977
سایر رده بندی ها
شماره رده
31
.
10
کد سيستم
bcl
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
BARWISE, JON.
مبدا اصلی
تاريخ عمليات
20201214075846.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
