نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Mathematical logic for computer science
پدید آورنده
Ben-Ari, M.
موضوع
، Logic, Symbolic and mathematical
رده
QA
9
.
B3955
2001
کتابخانه
كتابخانه مركزی دانشگاه صنعتي شريف
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
66005817
-
021
شناسگر استاندارد دیگر
شماره استاندارد
130404
شماره استاندارد
130013
شماره استاندارد
130939
شماره استاندارد
130957
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بهار۱۸
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20-80-91(
نام نخستين پديدآور
Ben-Ari, M.
خط فهرست نويسي و خط اصلي شناسه
1948-
عنوان اصلي
Mathematical logic for computer science
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2001
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 304 p.: ill.; 24 cm
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به ویراست و تاریخچه کتابشناختی اثر
متن يادداشت
2nd ed
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
9
.
B3955
2001
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Mordechai Ben-Ari
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
نحوه قرار گرفتن مدرك روي قفسه
08
نحوه قرار گرفتن مدرك روي قفسه
129
نحوه قرار گرفتن مدرك روي قفسه
129
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد