عنوان
پدید آورنده
موضوع
رده
QA 9 .A1,L64 1991
QA
9
.
A1
,
L64
1991
کتابخانه
محل استقرار
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Logic from computer science
نام نخستين پديدآور
Y.N. Moschovakis, editor
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
c1992
مشخصات ظاهری
نام خاص و کميت اثر
xi, 608 p. : ill. ; 24 cm
ساير جزييات
, 1773 , 2-1
فروست
عنوان فروست
Mathematical Sciences Research Institute publications ; v. 21
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
proceedings of a workshop held November 13-17, 1989
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic, Symbolic and mathematical -- Congresses
عنصر شناسه ای
Computer science -- Congresses
رده بندی کنگره
شماره رده
QA
نشانه اثر
9
شماره رکورد رده بندي
.
A1
,
L64
شماره رکورد غير از شماره رده بندي
1991
نام شخص - ( مسئولیت معنوی درجه دوم )
کد نقش
AU
عنصر شناسه اي
Moschovakis, Yiannis N
