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