- کتاب درآمد به منطق
- تاریخ مختصر منطق
- منطق، فرامنطق و رایانش
- یادآور مجموعهها و میانی ریاضی
- نظریههای اصل موضوعی مجموعهها
- نظریه گزارهای
- نظریههای مرتبه اول
- نظریه رایانش
- بهروز رسانیها⦿:
- واگشایی (Resolution) و برهان مکانیکی قضیه / جدید / ۱۴۰۵/۰۴/۲۴ 2025/07/15
- درآمد به نظریه پیچیدگی / جدید/ ۱۴۰۵/۰۴/۱۹ 2025/07/10
- بازگشت، استقرا و حل مسئله / ویرایش / ۱۴۰۵/۰۴/۱۷ 2025/07/08
| واژنامه کتاب «درآمد به منطق» | واژنامه مبانی ریاضی | واژنامه منطق و رایانش | قواعد استنتاج |
 |
• #۱: منطق، فرامنطق و رایانش (Logic, Metalogic & Computing)
• #۲: نظریه گزارهای
• #۳: نظریه محمولات مرتبه اول
• #۴: نظریه رایانش ۱ (نظریه محاسبات - Computing Theory)
زندگینامه برخی منطق دانان:
| منطق دانان |
|
