Title: Manṭiq al-maḥmūlāt
Subjects: Symbolic and mathematical Logic, Syllogism