عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
حول الموقع
اتصل بنا
نشأة
عنوان
Mathematical logic for computer science
پدید آورنده
Mordechai Ben-Ari
موضوع
Logic, Symbolic and mathematical
رده
QA9
.
B3955
2012eb
کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
1447141296 (electronic bk.)
9781447141297 (electronic bk.)
1447141288
9781447141280
dltt
Mathematical logic for computer science
[Book]
Mordechai Ben-Ari
3rd ed
New York :
Springer,
a2012
1 online resource (xv, 346 p.) :
ill
Includes bibliographical references and index
Mathematical logic for computer science.
9781447141280
OhioLINK electronic book center (Online)
SpringerLink
Logic, Symbolic and mathematical
511
.
3
23
QA9
QA9
.
B3955
2012eb
.
B3955
2012eb
Ben-Ari, M.,1948-
20130201101951.0
مطالعه متن کتاب
[Book]
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح