تحلیل منطقی استدلالی، شرح منطق اشارات ابن سینا (نهج هفتم تا دهم)
تحلیل منطقی گزاره، شرح منطق اشارات (نهج سوم تا ششم)