Propositional logic of Avicenna tr from Al-Shifa alqiyas - Shehaby Nabil (Boston D Reidel, 1973)
Glossary 283-86p; Bib 287-90p