Text this: The Propositional Logic of Avicenna :