دانلود کتاب Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers (به فارسی: نظریه مدل برای منطق بی نهایت: منطق با ربط های قابل شمارش و کمیت سازهای محدود) نوشته شده توسط «H. Jerome Keisler»
اطلاعات کتاب نظریه مدل برای منطق بی نهایت: منطق با ربط های قابل شمارش و کمیت سازهای محدود
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: North-Holland Pub. Co
نویسنده: H. Jerome Keisler
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1971
تعداد صفحه: 202
حجم کتاب: 1 مگابایت
کد کتاب: 0720422582 , 9780720422580
توضیحات کتاب نظریه مدل برای منطق بی نهایت: منطق با ربط های قابل شمارش و کمیت سازهای محدود
این کتاب از یک سخنرانی نظرسنجی که به جلسه انجمن منطق نمادین در ژانویه 1969 ایراد شد و بر اساس دوره ای در دانشگاه ویسکانسین در بهار 1969 شکل گرفت. هم به عنوان یک کتاب درسی برای دوره تحصیلات تکمیلی پیشرفته و هم به عنوان یک کتاب درسی برنامه ریزی شده است. مرجعی برای کار تحقیقاتی در منطق ریاضی.
ما برای خواننده‌ای نوشته‌ایم که قبلاً دانش کاملی از نظریه مدل «کلاسیک» دارد، یعنی نظریه مدل برای منطق محمول مرتبه اول معمول. پیشینه لازم در کتاب تئوری مدل توسط سی. سی چانگ و اچ جی کیسلر آمده است.
We have written for the reader who already has a thorough knowledge of ‘classical’ model theory, that is, model theory for the usual first order predicate logic. The necessary background is given in the book MODEL THEORY by C. C. Chang and H. J. Keisler.
دانلود کتاب «نظریه مدل برای منطق بی نهایت: منطق با ربط های قابل شمارش و کمیت سازهای محدود»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.