The Propositional Logic of Avicenna häftadEngelska, 2011