عنوان
پدید آورنده
موضوع
رده
QA 76 .H2785 1992
QA
76
.
H2785
1992
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
CE
عنوان و نام پديدآور
عنوان اصلي
Handbook of logic in computer science
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Oxford
نام ناشر، پخش کننده و غيره
Clarendon Press
تاریخ نشرو بخش و غیره
1992-
مشخصات ظاهری
نام خاص و کميت اثر
v. : ill
يادداشت کلی
متن يادداشت
Includes bibliographical references and indexes
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer science
عنصر شناسه ای
Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
شماره رکورد رده بندي
.
H2785
شماره رکورد غير از شماره رده بندي
1992
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
English
