Boeken over Ibr_h_m Ibn Sin_n. Logique Et Geometrie Au Xe Siecle