Ibn Ṭumlūs (Alhagiag Bin Thalmus d. 620/1223), "Compendium on logic" (al-Muḫtaṣar fī al-manṭiq) - Ibn-Ṭumlūs, Yūsuf Ibn-Muḥammad 1164-1223 (Brill, 2020)