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

عنوان
Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers

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

موضوع
Infinitary languages,Model theory

رده
511
.
3
K27

کتابخانه
المكتبة المركزية ومركز الأرشيف

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

المكتبة المركزية ومركز الأرشيف

تماس با کتابخانه : 22431916-021

206203

انگلیسی

IR

Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers
[book]
/ H. Jerome Keisler

Amsterdam
: North-Hollland Pub. Co.
، 1971

x, 208 p

Studies in logice and the foundations of mathematics, V. 62

Bibliography: p. 193-203

Infinitary languages
Model theory

511
.
3
K27

QA
9
.
K3

Kelisler, H. Jerome
author

ایران

QA 9 .K3

Previous cataloging

BL
1

Y

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

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