Title: Bayān al-ḥaqq bi-ḍamān al-ṣidq
Subjects: Early works to 1800, Arab logic, Islamic philosophy, Logic