عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35 L8 1989
QA
76
.
9
.
M35
L8
1989
کتابخانه
محل استقرار
شابک
شابک
9971502518
شماره کتابشناسی ملی
کد کشور
IR
شماره
14005
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Mathematical logic for computer science
نام عام مواد
[Book]
نام نخستين پديدآور
/ Lu Zhongwan
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Singapore, Teaneck, N.J.
نام ناشر، پخش کننده و غيره
: World Scientific
تاریخ نشرو بخش و غیره
, 1989.
مشخصات ظاهری
نام خاص و کميت اثر
ix, 248 p.
ساير جزييات
: ill.
ابعاد
; 23 cm
يادداشت کلی
متن يادداشت
Language: English
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science -- Mathematics
موضوع مستند نشده
Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
76
.
9
نشانه اثر
.
M35
L8
1989
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Lu, Chung-wan
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. College of Science Library
شماره دستیابی
شماره بازیابی
QA 76.9 .M35 L8 1989
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
