دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi
دانلود کتاب نظریه مدل برای منطق معین: مدل های کریپکی برای محاسبات محمول معین
مشخصات کتاب
Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi
ویرایش: 1
نویسندگان: Kenneth A. Bowen (auth.)
سری: Synthese Library 127
ISBN (شابک) : 9789048183531, 9789401576420
ناشر: Springer Netherlands
سال نشر: 1979
تعداد صفحات: 147
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب نظریه مدل برای منطق معین: مدل های کریپکی برای محاسبات محمول معین: منطق
در صورت تبدیل فایل کتاب Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه مدل برای منطق معین: مدل های کریپکی برای محاسبات محمول معین نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages i-x
Syntactic Considerations....Pages 1-7
Modal Structures and Morphisms....Pages 8-15
Validity....Pages 16-19
Completeness....Pages 20-31
Löwenheim-Skolem Theorems....Pages 32-42
Ultraproducts....Pages 43-54
Ultrafilter Pairs and Elementary Embeddings....Pages 55-57
Direct Limits....Pages 58-62
Model Extensions....Pages 63-67
Inductive Theories....Pages 68-70
Joint Consistency and Interpolation....Pages 71-74
Model Completeness....Pages 75-81
Finite Forcing....Pages 82-91
Forcing and Model Completions....Pages 92-97
Omitting Types and a Two-Cardinal Theorem....Pages 98-100
Back Matter....Pages 101-139
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Apuntes sobre la violencia de genero
دانلود کتاب The Prevention of Sexual Disorders: Issues and Approaches
