عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 .L638 1990
QA
9
.
A1
.
L638
1990
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
116136
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بها‌ر۸۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)40(
نام نخستين پديدآور
Logic Congress )0991: Tehran, Iran(
عنوان اصلي
Proceedings of the First Logic Congresses, May 5-7, 1990, Tehran, Iran
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Tehran
نام ناشر، پخش کننده و غيره
Institute for Studies in Theoretical Physics and Mathematics
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
vi, 234 p.: ill.; 25 cm
فروست
عنوان فروست
IPM proceedings series; no.I
يادداشت کلی
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, Symbolic and mathematical-- Congresses
رده بندی کنگره
شماره رده
QA
9
.
A1
.
L638
1990
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
edited by S.Etemad, M.J.A. Larijani, Z. Movahed
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU .S ,dametE
عنصر شناسه اي
AU .A.J.M ,inajiraL
عنصر شناسه اي
AU .Z ,dehavoM
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
04
