Title: Kitāb miḥakk al-naẓar fī al-manṭiq
Subjects: Logic