نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Mathematical logic for computer science
پدید آورنده
Lu, Chung-wan
موضوع
Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده
QA
76
.
9
.
M35
.
L8
1989
کتابخانه
كتابخانه مركزی دانشگاه صنعتي شريف
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
66005817
-
021
شناسگر استاندارد دیگر
شماره استاندارد
88732
شماره استاندارد
101712
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20-91(
نام نخستين پديدآور
Lu, Chung-wan
عنوان اصلي
Mathematical logic for computer science
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Singapore; Teaneck, N.J.
نام ناشر، پخش کننده و غيره
World Scientific
تاریخ نشرو بخش و غیره
1989
مشخصات ظاهری
نام خاص و کميت اثر
ix, 248 p.: ill.; 23 cm.
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Mathematics ، Electronic data processing
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
76
.
9
.
M35
.
L8
1989
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Lu Zhongwan
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
نحوه قرار گرفتن مدرك روي قفسه
129
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد