عنوان
پدید آورنده
موضوع
رده
QA 76 .H2785 1992
QA
76
.
H2785
1992
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
105290
شماره استاندارد
108165
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
زمستا‌ن۳۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)12(
عنوان اصلي
Handbook of logic in computer science
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Oxford
نام ناشر، پخش کننده و غيره
Clarendon Press
تاریخ نشرو بخش و غیره
1992-
مشخصات ظاهری
نام خاص و کميت اثر
v. : ill. ; 25 cm
يادداشت کلی
متن يادداشت
Includes bibliographical references and indexes
یادداشتهای مربوط به مندرجات
متن يادداشت
v. 1. Background, mathematical structure -- v. 2. Background, computational structure
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computer science
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
76
.
H2785
1992
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU nosmaS ,yksmarbA 1953-
عنصر شناسه اي
AU M voD ,yabbaG 1945-
عنصر شناسه اي
AU .E .S samohT ,muabiaM 1947-
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
131
نحوه قرار گرفتن مدرك روي قفسه
131
