معرفی
کتاب منطق برای ریاضیدانان نوشته همیلتون با ترجمه محمدعلی پورعبدالله نژاد, توسط انتشارات دانشگاه امام رضا با موضوع ریاضی و آمار, حساب غیر صوری گزارها, محاسبه پذیری به چاپ رسیده است.
معرفی مباحث کتاب منطق برای ریاضیدانان
- حساب غیر صوری گزارها
- حساب صوری گزارها
- حساب غیر صوری محصولات
- حساب صوری محصولات
- دستگاه های ریاضی
- قضیه نا تمامیت گدل
- محاسبه پذیری، حل ناپذیری، تصمیم ناپذیری