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