Title: Durūs fī al-manṭiq al-istidlālī al-ramzī
Subjects: Symbolic and mathematical Logic