شفاء السائل وتهذيب المسائلu200eu200e) і трактат, які ў бібліяграфічным спісе да перакладу «Мукаддзіма», выкананаму Францам Роўзенталем, названы трактатам па логіцы (англ.: Treatise on logic) — «Любаб уль-мухасаль фі усуль ід-дзін» (араб.