The Propositional Logic of Avicenna: A Translation from al-Shifa: al-Qiyas with Introduction, Commentary and Glossary (Synthese Historical Library)