(٢) نهاية العقول في دراية الأصول، حققه صلاح محمد الجمالة بكلية دار العلوم بجامعة القاهرة سنة ١٤٤ هـ/ ١٩٩١ م. (٣) طبع كتاب لباب الإشارات والتنبيهات بالمكتبة الأزهرية للتراث سنة ١٩٨٦ م، وشرح الإشارات منه نسخة بالمكتبة المركزية للمخطوطات الإسلامية بالقاهرة رقم ١٧٣٦. (٤) هو عرائس المحصل من نفائس المفصل، حققه سليم محمد سعيد بكلية اللغة العربية بالقاهرة سنة ١٩٨٨ م. (٥) من طبعاته طبعة دار الفكر ببيروت سنة ١٤٠١ هـ/ ١٩٨١ م. (٦) طبع بدار الكتاب العربي ببيروت سنة ١٤٠٧ هـ/ ١٩٨٧ م، تحقيق: أحمد السقا. (٧) هو محصل أفكار المتقدمين والمتأخرين من العلماء والحكماء والمتكلمين، طبع عدة طبعات، منها طبعة القاهرة سنة ١٣٢٣ هـ.