この資料をSMS送信: The propositional logic of Avicenna: A translation from al-Shifa: al Qiyas with introduction, commentary and glossary