- کتاب درآمد به منطق
- تاریخ مختصر منطق
- منطق، فرامنطق و رایانش
- یادآور مجموعهها و میانی ریاضی
- نظریههای اصل موضوعی مجموعهها
- نظریه گزارهای
- نظریههای مرتبه اول
- نظریه رایانش
- بهروز رسانیها:
| واژنامه کتاب «درآمد به منطق» | واژنامه مبانی ریاضی | واژنامه منطق و رایانش | قواعد استنتاج |
 |
← |
• #۱: منطق، فرامنطق و رایانش (Logic, Metalogic & Computing)
• #۲: نظریه گزارهای
• #۳: نظریه محمولات مرتبه اول
• #۴: نظریه رایانش ۱ (نظریه محاسبات - Computing Theory)
زندگینامه برخی منطق دانان:
| منطق دانان |
|
