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

عنوان
A friendly introduction to mathematical logic

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

موضوع
م‍ن‍طق‌ ک‍ام‍پ‍ی‍وت‍ری‌,‎Logic, Symbolic and mathematical

رده
QA
۷۶
/
۹
/
م
۸
ل
۹ ۱۳۷۹

کتابخانه
سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران

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

سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران

تماس با کتابخانه : 88644104-021

شابک

شابک
‎0130107050

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

کد کشور
IR
شماره
ت‌۷/۲۱

زبان اثر

زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی

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

کشور محل نشر
IR

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

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

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

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

مشخصات ظاهری

نام خاص و کميت اثر
‎xiv، ۲۱۸ ص‌.
ساير جزييات
ج‍دول‌

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

متن يادداشت
ک‍ت‍اب‍ن‍ام‍ه‌: ص‌.۲۱۴-۲۱۳

آوانویسی عنوان

آوانویسی عنوان
ف‍رن‍دل‍ی‌ ای‍ن‍ت‍روداک‍ش‍ن‌ ت‍و م‍ت‍م‍ت‍ی‍ک‍ال‌ لاج‍ی‍ک‌

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

موضوع مستند نشده
م‍ن‍طق‌ ک‍ام‍پ‍ی‍وت‍ری‌
موضوع مستند نشده
‎Logic, Symbolic and mathematical

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

شماره
۰۰۵
/
۱۰۱۵۱۱۳

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

شماره رده
QA
۷۶
/
۹
نشانه اثر
/
م
۸
ل
۹ ۱۳۷۹

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

مستند نام اشخاص تاييد نشده
ل‍ی‍ری‌، ک‍ری‍س‍ت‍وف‍ر، ۱۹۵۷ - م‌
مستند نام اشخاص تاييد نشده
‎Leary, Christopher C.

مبدا اصلی

کشور
ایران
سازمان
ک‍ت‍اب‍خ‍ان‍ه‌ م‍ل‍ی‌ ای‍ران‌

وضعیت فهرست نویسی

وضعیت فهرست نویسی
old catalog

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

نوع ماده
BF
پیشوند ISBD اعمال شده است
1

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

تكميل شده
Y

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

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