Title: al-Manṭiq al-ṣuwarī wa-al-riyāḍī
Subjects: Symbolic and mathematical Logic