کتاب Gentzen's Centenary اثر Reinhard Kahle and Michael Rathjen انتشارات Springer
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
متفرقهویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
- گروه سنی : بزرگسال
مشخصات محصول
Gentzen's Centenary: The Quest for Consistency (صدمین سال تولد گنتزن: جستجو برای سازگاری) نوشته Reinhard Kahle و Michael Rathjen در سال 2015 میلادی منتشر شده است. این کتاب به افتخار گرامیداشت صدمین سال تولد گرهارد گنتزن، منطقدان برجسته آلمانی، مجموعهای از مقالات درباره نظریه اثبات گنتزن و تحقیقات مدرن در این زمینه گردآوری کرده است. مقالات به موضوعاتی مانند منطق حساب گنتزن، نظریه تایپها، اصل تقریب و بررسی سازگاری سیستمهای استنتاجی میپردازند. کتاب برای منطقدانان و فلسفه منطق مفید است.
نویسنده
Reinhard Kahle and Michael Rathjen
ناشر
Springer
شابک
9783319101026
موضوع
نظریه اثبات، منطق حساب، سازگاری
قطع
رقعی
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
571
گروه سنی
بزرگسال
وزن
571 گرم
