نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
Mathematical logic for computer science
پدید آورنده
Lu, Chung-wan.
موضوع
Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده
QA
76
.
9
.
M35
L8
1989
کتابخانه
کتابخانه مرکزی دانشگاه صنعتی امیرکبیر
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
اطلاعات محلی رکورد
نوع مدرک
H1
عنوان و نام پديدآور
نام نخستين پديدآور
Lu, Chung-wan.
عنوان اصلي
Mathematical logic for computer science
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Singapore
نام ناشر، پخش کننده و غيره
World Scientific
تاریخ نشرو بخش و غیره
1989
مشخصات ظاهری
نام خاص و کميت اثر
ix, 248 p
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
متن يادداشت
Includes index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Electronic data processing - Mathematics
عنصر شناسه ای
Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
9
شماره رکورد رده بندي
.
M35
L8
شماره رکورد غير از شماره رده بندي
1989
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Lu Zhong-Wan
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
English
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد