The propositional logic of Avicenna : a transl. from al-Shifā : al-Qiyās with introd., commentary and glossary / by Nabil Shehaby