عنوان
پدید آورنده
موضوع
رده
QA 9 .B3955 2001
QA
9
.
B3955
2001
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Mathematical logic for computer science
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London ; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
c2001
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 304 p. : ill. ; 24 cm.
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. ]293[-295( and indexes
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Mordechai Ben-Ari
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی ديویی
شماره
511
.
3
رده بندی کنگره
شماره رده
QA
9
.
B3955
2001
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
تاريخ
8491-
عنصر شناسه اي
Ben-Ari, M.
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
