Anfonwch hwn fel neges destun: The propositional logic of Avicenna: A translation from al-Shifa: al Qiyas with introduction, commentary and glossary