-
1.
نویسنده : حجتی، سید محمد ؛ مزگی نژاد، مرتضی ؛
مجله:شناخت»بهار 1385 - شماره 49 رتبه علمی-پژوهشی (وزارت علوم/ISC (22 صفحه - از 161 تا 182 )
کلیدواژه ها:منطق محمولاتماشین تورینگتوقفالگوریتمیتصمیمناپذیریماشیناثبات
-
2.
نویسنده : مزگی نژاد، مرتضی ؛ نبوی، لطفالله نبوی ؛ حجتی، سید محمد علی ؛
مجله:منطق پژوهی»بهار و تابستان 1394، سال ششم - شماره 1 رتبه علمی-پژوهشی (وزارت علوم/ISC (25 صفحه - از 117 تا 141 )
کلیدواژه ها:ثوابت منطقیاستنتاجگراییتئوری برهانقواعد عملگریقواعد ساختاریقواعدسیستمگنتزنتاج