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

عنوان
‎Logic for mathematics and computer science‬

پدید آورنده
/ ‎Stanley N. Burris‬

موضوع
م‍ن‍طق‌ ری‍اض‍ی‌

رده
QA
۹
/
ب
‌۴
ل
‌۲ ۱۳۷۷

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

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

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

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

شابک

شابک
‎0132859742‬

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

شماره
‭ظ۱۶/۱

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

عنوان اصلي
‎Logic for mathematics and computer science‬
نام نخستين پديدآور
/ ‎Stanley N. Burris‬

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

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

مشخصات ظاهری

نام خاص و کميت اثر
‎xix‬، ۴۲۰ ص‌.
ساير جزييات
م‍ص‍ور، ج‍دول‌

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

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

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

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

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

موضوع مستند نشده
م‍ن‍طق‌ ری‍اض‍ی‌

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

شماره
۵۱۱
/
۳

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

شماره رده
QA
۹
نشانه اثر
/
ب
‌۴
ل
‌۲ ۱۳۷۷

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

مستند نام اشخاص تاييد نشده
ب‍ری‍س‌، اس‍ت‍ن‍ل‍ی‌
مستند نام اشخاص تاييد نشده
‎Burris, Stanley‬

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

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

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

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