شابک
شابک
0521371813
شماره کتابشناسی ملی
کد کشور
IR
شماره
EN-53030
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Proofs and types
نام عام مواد
[Book]
نام نخستين پديدآور
/ Jean-Yves Girard
نام ساير پديدآوران
; translated and with appendices by Paul Taylor, Yves Lafont
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge
نام ناشر، پخش کننده و غيره
: Cambridge University Press,
تاریخ نشرو بخش و غیره
, c1989.
مشخصات ظاهری
نام خاص و کميت اثر
xi, 176 p.
فروست
عنوان فروست
(Cambridge tracts in theoretical computer science 7)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Proof theory
موضوع مستند نشده
Logic, Symbolic and mathematical
موضوع مستند نشده
Type theory
رده بندی کنگره
شماره رده
E-BOOK
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Girard, Jean-Yves.
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Taylor, Paul, Ph. D
مستند نام اشخاص تاييد نشده
Lafont, Yves
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
0521371813.pdf
شماره دسترسي
عادی
اطلاعات مختصر
عادی
تاريخ و ساعت مذاکره و دسترسي
0521371813.pdf
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
