Logic và Metaphysics đã được in rộng, sau đó, e. g., tại Venice vào năm 1493, 1495, và 1546. một số bài luận ngắn hơn về y học, logic, etc., lấy một hình thức Heidenstam (bài thơ trên logic được công bố bởi Schmoelders vào năm 1836).[citation cần thiết] Hai encyclopaedic treatises, đối phó với triết học, thường được nhắc đến. Những người lớn hơn, Al-Shifa '( Sanatio ), tồn tại gần như hoàn thành trong các bản thảo trong thư viện Bodleian và nơi khác ; một phần của nó trên De Anima xuất hiện tại Pavia ( 1490 ) như Liber Sextus Naturalium, và tài khoản dài của Ibn Triết lý của Sina được trao bởi Muhammad al-Shahrastani dường như chủ yếu là một phân tích, và ở nhiều nơi một sinh sản, của Al-Shifa'. Một hình thức ngắn hơn của công việc được biết đến với tư cách là An-najat (Liberatio). Các ấn bản Latin của một phần của những tác phẩm này đã được sửa đổi bởi các sửa chữa mà các biên tập viên khấn thú nhận rằng họ đã áp dụng. Ngoài ra còn có một ḥkmt msẖrqyh (hikmat-al-mashriqqiyya, trong tiếng Latin Philosophia Orientalis), được nhắc đến bởi Roger Bacon, đa số những người bị mất trong thời cổ đại, mà theo Averroes là pantheistic trong tone.
Hình thức ngắn hơn của Al-Shifa được gọi là gì?
The An-najat