خلاصة المنطق
ج ۷، ص ۲۳۳، ش ۱۱۲۹
الذریعة الی تصانیف الشیعة
ج ۷، ص ۲۳۳، ش ۱۱۲۹
( ۱۱۲۹ : خلاصة المنطق ) للشيخ محمد علي بن أبي طالب الشهير بالشيخ علي الحزين الزاهدي الگيلاني المتوفى ( ۱۱۸۱ ) حكاه في نجوم السماء عن فهرس تصانيفه.