Title: al-Riḥlah al-safārīyah
Subjects: Reasoning, Symbolic and mathematical Logic