Ему принадлежит книга «Философия источника», первая часть которой посвящена логике, а вторая — философии, естествознанию и математике. Составил также «Солнечный трактат об основах логики» и обработку «Алмагеста» Птолемея.