نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Arithmetic, Proof theory and computational complexity
پدید آورنده
edited by Peter Clote and Jan Krajicek
موضوع
، Proof theory,، Computational complexity
رده
QA
9
.
54
.
A75
کتابخانه
کتابخانه پژوهشگاه دانشهای بنیادی
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
22291812
-
021
عنوان و نام پديدآور
عنوان اصلي
Arithmetic, Proof theory and computational complexity
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Oxford
نام ناشر، پخش کننده و غيره
Clarendon
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
xii, 428p.: ill., tables, photo
فروست
ساير اطلاعات عنواني
Oxford logic guides; 32
يادداشت کلی
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN: 0198536909
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
edited by Peter Clote and Jan Krajicek
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Proof theory
عنصر شناسه ای
، Computational complexity
رده بندی کنگره
شماره رده
QA
9
.
54
.
A75
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Clote, Peter G.
عنصر شناسه اي
AU Krajicek, Jan
عنصر شناسه اي
SE
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد