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

عنوان
Admissibility of logical inference rules

پدید آورنده
Rybakov, Vladimir V. )Vladimir Vladimir(

موضوع
، Logic, Symbolic and mathematical,، Inference

رده
QA
9
.
R986
1997

کتابخانه
المکتبۀ المرکزیۀ ومرکز التوثیق

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

المکتبۀ المرکزیۀ ومرکز التوثیق

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

Admissibility of logical inference rules

Amsterdam ; New York
Elsevier
1997

617 p. : ill. ; 24 cm.

Studies in logic and the foundations of mathematics ;v. 631

Includes bibliographical references )p. 603-617( and index

Vladimir V. Rybakov

، Logic, Symbolic and mathematical
، Inference

511
.
3

QA
9
.
R986
1997

1691-
Rybakov, Vladimir V. )Vladimir Vladimir(
AU

TI
SE

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

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