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