Title: Kitāb fī al-manṭiq
Subjects: Early works to 1800, Logic