Ibrahim Ibn Sinan. Logique Et Geometrie Au Xe Siecle (Islamic Philosophy, Theology, and Science) (Islamic Philosophy, Theology and Science. Texts and Studies) (French and English Edition)