Title: كتاب تحفة المحقق بشرح منظومة نظام المنطق
Subjects: Arab logic, Early works to 1800, Logic