• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
A friendly introduction to mathematical logic /

پدید آورنده
Christopher C. Leary

موضوع
Computer logic,Logic, Symbolic and mathematical

رده
QA76
.
9
.
L63
L43
2000

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

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

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
0130107050
شابک
9780130107053

شماره کتابشناسی ملی

شماره
b535148

عنوان و نام پديدآور

عنوان اصلي
A friendly introduction to mathematical logic /
نام عام مواد
[Book]
نام نخستين پديدآور
Christopher C. Leary

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Upper Saddle River, NJ :
نام ناشر، پخش کننده و غيره
Prentice Hall,
تاریخ نشرو بخش و غیره
2000

مشخصات ظاهری

نام خاص و کميت اثر
xiv, 218 pages ;
ابعاد
23 cm

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Includes bibliographical references and index

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Computer logic
موضوع مستند نشده
Logic, Symbolic and mathematical

رده بندی ديویی

شماره
005
.
1/01/5113
ويراست
21

رده بندی کنگره

شماره رده
QA76
.
9
.
L63
نشانه اثر
L43
2000

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام اشخاص تاييد نشده
Leary, Christopher C.,1957-

مبدا اصلی

تاريخ عمليات
20160712064528.0

دسترسی و محل الکترونیکی

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال