Title: al-Mantiq al-riyāḍī
Subjects: Symbolic and mathematical Logic