• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة

عنوان
Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers

پدید آورنده
Keisler, H. Jerome.

موضوع
، Infinitary languages,، Model theory

رده
QA
9
.
K33

کتابخانه
المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان

محل استقرار
استان: کرمان ـ شهر: کرمان

المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان

تماس با کتابخانه : 03433257204

English

Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers

Amsterdam
North-Holland Pub. Co.
1971

x, 208 p. 23 cm

Studies in logic and the foundations of mathematics, v. 26

Bibliography: p. 193-203
Bibliography: p. 193-203

)By( H. Jerome Keisler

1

، Infinitary languages
، Model theory

QA
9
.
K33

CA
511/
.
3

Keisler, H. Jerome.
AU

TI
SE

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال