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

عنوان
A concise introduction to mathematical logic

پدید آورنده
/ Wolfgang Rautenberg

موضوع
Logic, Symbolic and mathematical,Electronic books. , local

رده
E-BOOK

کتابخانه
المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية

محل استقرار
استان: أذربایجان الشرقیة ـ شهر:

المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية

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

9780387302942 (acid-free paper)

IR
EN-53147

انگلیسی

IR

A concise introduction to mathematical logic
[Book]
/ Wolfgang Rautenberg

2nd ed.

New York, NY
: Springer,
, 2006.

xvii, 256 p. , ill. , 24 cm.

(Universitext)

Electronic

Includes bibliographical references (p. 241-246) and indexes.

1. Propositional logic -- 2. Predicate logic -- 3. Godel's completeness theorem -- 4. foundations of logic programming -- 5. Elements of model theory -- 6. Incompleteness and undecidability -- 7. On the theory of self-reference.

[EinfouAس‍uhrung in die mathematische Logik. English]

Logic, Symbolic and mathematical
Electronic books. , local

E-BOOK

Rautenberg, Wolfgang.

ایران

9780387302942.pdf
عادی
عادی
9780387302942.pdf
متن

old catalog

e

BL
1

a
Y

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

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