کتاب منطق جدید لطف الله نبوی انتشارات سمت

کتاب منطق جدید نویسنده لطف الله نبوی توسط انتشارات سمت به چاپ رسیده است.

معرفی کتاب منطق جدید لطف الله نبوی انتشارات سمت

فهرست مطالب منطق جدید کد 302 انتشارات سمت

1.  سیستم استنتاج طبیعی منطق گزاره‌ها (SN)
2.  سیستم اصل موضوعی (SA) و سیستم نموداری (ST) منطق گزاره‌ها
3.  ساختار معنایی منطق گزاره‌ها
4. فرانظریه منطق گزاره‌ها
5.  سیستم استنتاج طبیعی منطق محمولات (PN)
6.  سیستم اصل موضوعی (PA) و سیستم نموداری (PT) منطق محمولات
7. ساختار معنایی منطق محمولات
8. فرانظریه منطق محمولات
9. حلّ مسائل و تمرینات برگزیده
10. فهرست نمادها
11. فهرست علایم اختصاری
12. منابع و مآخذ