عنوان
پدید آورنده
موضوع
رده
QA 9 .A1L63 1986
QA
9
.
A1L63
1986
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Logic Colloquium'86 : proceedings of thjje Colloquium held in Hull, U.K., July 13-19, 1986
وضعیت ویراست
نام نخستين ويراستار
1986 : Hull, U.K
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
North-Holland
تاریخ نشرو بخش و غیره
1988
مشخصات ظاهری
نام خاص و کميت اثر
ix, 342p.: ill., port
فروست
ساير اطلاعات عنواني
Studies in logic and the foundations of mathematics; Vol.421
يادداشت کلی
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN: 0444703268
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
edited by F.R. Drake and J.K. Truss
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
9
.
A1L63
1986
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Drake, F. R.
عنصر شناسه اي
AU Truss, J. K.
عنصر شناسه اي
TI
عنصر شناسه اي
SE
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Logic colloquium
