عنوان
پدید آورنده
موضوع
رده
QA 9 .A1C66 1995
QA
9
.
A1C66
1995
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995
وضعیت ویراست
نام نخستين ويراستار
1995: Venice
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Oxford
نام ناشر، پخش کننده و غيره
Clarendon Press
تاریخ نشرو بخش و غیره
1998
مشخصات ظاهری
نام خاص و کميت اثر
vii, 283 p
فروست
ساير اطلاعات عنواني
Oxford logic guides; 63
ساير اطلاعات عنواني
Oxford science publications
يادداشت کلی
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN 0198501227
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
edited by Giovanni Sambin and Jan M. Smith
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Type theory
رده بندی کنگره
شماره رده
QA
9
.
A1C66
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Sambin, Giovanni
عنصر شناسه اي
AU Smith, Jan M.
عنصر شناسه اي
TI
عنصر شناسه اي
SE Oxford logic guides 36
عنصر شناسه اي
SE Oxford science publications
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Congress of Twenty-Five Years of Constructive Type Theory
