کتاب An Introduction to Proof Theory اثر جمعی از نویسندگان انتشارات Oxford University Press
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
متفرقهویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
- گروه سنی : بزرگسال
مشخصات محصول
این کتاب، کتابی از نویسندگان Paolo Mancosu، Sergio Galvan و Richard Zach است که در سال 2020 منتشر شده است. این کتاب به شرح برخی از مباحث مهم مربوط به تحقیق در مورد ثابت کردن، از جمله نرمال سازی، حذف کاهش و ثابت کردن معتقدات، می پردازد. نویسندگان این کتاب، همچنین کتابهای موفقی دیگری نیز دارند که می توان آنها را به نام های «مبانی منطق نادرستی» و «آشنایی با مبانی نظریه ثابت کردن» اشاره کرد.
نویسنده
Paolo Mancosu and Sergio Galvan and Richard Zach
ناشر
Oxford University Press
شابک
9780192895943
موضوع
موضوع این کتاب، نظریه ثابت کردن است.
قطع
رقعی
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
432
گروه سنی
بزرگسال
وزن
432 گرم
