منطق ریاضی؛ ویراست دوم

کتاب حاضر نتیجۀ چندین ‌سال تدریس منطق ریاضی توسط دکتر محمد اردشیر در مقطع کارشناسی ریاضی در دانشگاه صنعتی شریف است.نویسنده در فصل اول به توضیح منطق گزاره‌ها، زبان و معناشناسی آن‌ها و نطریهٔ برهان در این زمینه پرداخته و روش‌های اصل موضوعی، استنتاج طبیعی و حساب رشته‌ها را مورد بررسی قرار می‌دهد. در فصل دوم با تجزیه و تحلیل منطق مرتبهٔ اول، فاکتورهایی که در فصل یک توضیح داده بود، برای این منطق هم شرح و بسط می‌دهد. نویسنده در فصل سوم به نظریهٔ مقدماتی مدل‌ها و تعریف قضایای اساسی آن و مدل‌های غیراستاندارد آنالیز و حساب می‌پردازد. در نهایت در فصل چهارم کتاب، منطق مرتبهٔ دوم و بالاتر، و معناشناسی آن در دو دسته ی معناشناسی استاندارد و معناشناسی هنکین معرفی شده‌اند. این کتاب چهار فصل دارد: منطق گزاره‌ها، منطق مرتبه اول، نظریه مقدماتی مدل‌ها، منطق مرتبه دوم و بالاتر.منطق ریاضی در سال ۱۳۸۳ در مراسم کتاب سال، به‌عنوان کتاب برگزیده معرفی شد.