عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
0821810782
شماره کتابشناسی ملی
شماره
b397722
عنوان و نام پديدآور
عنوان اصلي
Provability, complexity, grammars
نام عام مواد
[Book]
نام نخستين پديدآور
Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Providence, RI :
نام ناشر، پخش کننده و غيره
American Mathematical Society,
تاریخ نشرو بخش و غیره
1999.
فروست
عنوان فروست
American Mathematical Society translations,
مشخصه جلد
ser. 2, v. 192
شاپا ي ISSN فروست
0065-9290 ;
يادداشت کلی
متن يادداشت
Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computational complexity.
موضوع مستند نشده
Mathematical linguistics.
موضوع مستند نشده
Modality (Logic)
موضوع مستند نشده
Proof theory.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Beklemishev, Lev Dmitrievich,1967-
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Pentus, Mati Reĭnovich,1967-
مستند نام اشخاص تاييد نشده
Vereshchagin, Nikolai Konstantinovich,1958-
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
American Mathematical Society
مبدا اصلی
تاريخ عمليات
20170131000000.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
