-
1.
نویسنده مسئول : فلاحی، اسدالله ؛
مجله:آینه معرفت»بهار 1402 - شماره 74 رتبه ب (وزارت علوم/ISC (26 صفحه - از 21 تا 46 )
کلیدواژه ها:استنتاجتعدیدورمنطق کلاسیکنرمالنظام تابعارزشیمنطقبرهانفرمولمادی
نویسنده مسئول : فلاحی، اسدالله ؛
مجله:آینه معرفت»بهار 1402 - شماره 74 رتبه ب (وزارت علوم/ISC (26 صفحه - از 21 تا 46 )
کلیدواژه ها:استنتاجتعدیدورمنطق کلاسیکنرمالنظام تابعارزشیمنطقبرهانفرمولمادی