عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 L63 1990
QA
9
.
A1
L63
1990
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
H1
عنوان و نام پديدآور
عنوان اصلي
Proceedings of the first logic congress, May 5-7, 1990, Tehran, Iran
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Tehran
نام ناشر، پخش کننده و غيره
Institute for Studies in Theoretical Physics and Mathematics
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
v, 234 p.: ill
فروست
عنوان فروست
IPM proceedings series; No. 1
يادداشت کلی
متن يادداشت
Bibliography: p. 232-234
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic, Symbolic and mathematical - Congresses
رده بندی کنگره
شماره رده
QA
نشانه اثر
9
شماره رکورد رده بندي
.
A1
L63
شماره رکورد غير از شماره رده بندي
1990
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
edited by S. Etemad, M.J.A. Larijani, Z. Movahed
شناسه افزوده (تنالگان)
عنصر شناسه اي
Logic Congress )1st: 1990: Tehran, Iran(
