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