The propositional logic of Avicenna: A translation from al-Shifa: al Qiyas with introduction, commentary and glossary - Shehaby, Nabil (Synthese Historical Library, 1973)