Envoyer par SMS: The propositional logic of Avicenna: A translation from al-Shifa: al Qiyas with introduction, commentary and glossary