کتاب منطق ریاضی اثر محمد اردشیر

کتاب «منطق ریاضی» اثر «محمد اردشیر» است. این کتاب در مورد منطق حاکم بر علم ریاضی است. موضوع مورد بحث در کتاب زیر مجموعه بحث «منطق» قرار می‌گیرد. کتاب برای علاقمندان به حوزه منطق، انتخاب مناسبی است. در قسمتی از کتاب آن آمده است: «کتاب حاضر نتیجه تجربه چندین ساله در تدریس درس منطق ریاضی برای دوره کارشناسی ریاضی در دانشگاه صنعتی شریف است. مطالبی که در این کتاب گنجانده شده شامل: منطق جبری (برای منطق گزاره‌ای)، حساب رشته‌ها و مباحث مقدماتی نظریه مدل نام برد. سعی کرده‌ام تا حد ممکن، از مثال‌هایی از شاخه‌های مختلف ریاضی بهره ببرم و تا جایی که امکان دارد، به جنبه‌هایی از منطق ریاضی که به علوم نظری کامپیوتر ارتباط می‌یابد، به طور گذرا اشاره کنم. برای علاقه‌مندان به تاریخ و فلسفه منطق نیز، کم و بیش، اشاراتی به بعضی موضوع‌ها به اختصار در یادداشت‌های هر فصل، با علامت یادداشت و ضمیمه‌ای که شامل شرح مختصر زندگی و کارهای بعضی منطق‌دانان مشهور است، آورده‌ام.» کتاب حاضر را انتشارات «هرمس» به چاپ رسانده است.