دانلود کتاب Finitely Axiomatizable Theories
کتاب نظریه های کاملاً بدیهی پذیر نسخه زبان اصلی
دانلود کتاب نظریه های کاملاً بدیهی پذیر بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Finitely Axiomatizable Theories
نام کتاب : Finitely Axiomatizable Theories
ویرایش : 1997
عنوان ترجمه شده به فارسی : نظریه های کاملاً بدیهی پذیر
سری : Siberian School of Algebra and Logic
نویسندگان : Mikhail G. Peretyat’kin
ناشر : Springer
سال نشر : 1997
تعداد صفحات : 154
ISBN (شابک) : 0306110628 , 9780306110627
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 10 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این تنها تک نگاری است که به بیان نظریه‌های بدیهی‌پذیر محدود، موضوعی کلاسیک در منطق ریاضی اختصاص یافته است. این جلد تحقیقاتی را در این زمینه خلاصه می کند که به بسیاری از پیشرفت های فعلی منجر شده است و به طور سیستماتیک تمام نتایج مثبت مربوط به قابلیت بیان را بررسی می کند. همچنین در این متن منحصربه‌فرد راه‌حل‌هایی برای مسئله Vaught-Morely و مسئله Hanf و تعدادی سؤال طبیعی جدید گنجانده شده است که چشم‌اندازهایی را برای توسعه بیشتر این نظریه فراهم می‌کند.
توضیحاتی در مورد کتاب به زبان اصلی :
This is the only monograph devoted to the expressibility of finitely axiomatizable theories, a classical subject in mathematical logic. The volume summarizes investigations in the field that have led to much of the current progress, treating systematically all positive results concerning expressibility. Also included in this unique text are solutions to both the Vaught-Morely problem and the Hanf problem, and a number of new natural questions that provide prospects for further development of the theory.