نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Complexity of proofs and their transformations in axiomatic theories /
پدید آورنده
V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
موضوع
Proof theory
رده
QA9
.
54
.
O7413
1993
کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
شابک
شابک
0821845764 (acid-free)
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Complexity of proofs and their transformations in axiomatic theories /
نام عام مواد
[Book]
نام نخستين پديدآور
V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Providence, R.I. :
نام ناشر، پخش کننده و غيره
American Mathematical Society,
تاریخ نشرو بخش و غیره
c1993
مشخصات ظاهری
نام خاص و کميت اثر
vi, 153 p. ;
ابعاد
27 cm
فروست
عنوان فروست
Translations of mathematical monographs ;
مشخصه جلد
v. 128
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. 151-153)
عنوان قراردادی
عنوان قراردادي
Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii︠a︡kh.
زبان(وقتي جزئي از عنوان قراردادي باشد)
English
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Proof theory
رده بندی ديویی
شماره
511
.
3
ويراست
20
رده بندی کنگره
شماره رده
QA9
.
54
نشانه اثر
.
O7413
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Orevkov, V. P
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Louvish, David
مبدا اصلی
تاريخ عمليات
19931216113422.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب
اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد