عنوان

Admissibility of logical inference rules

پدید آورنده

Rybakov, Vladimir Vladimir

موضوع

Logic, Symbolic and mathematical , Inference

رده

QA

9
.
R986

1997

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

تماس با کتابخانه : ۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)

H1

Rybakov, Vladimir Vladimir

Admissibility of logical inference rules

Amsterdam

Elsevier

1997

617 p.: ill

Studies in logic and the foundations of mathematics; V. 136

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

Logic, Symbolic and mathematical

Inference

QA

9

.

R986

1997

AU

1961-

Vladimir V. Rybakov

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

عنوان Admissibility of logical inference rules

پدید آورنده Rybakov, Vladimir Vladimir

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

رده QA 9 .R986 1997