Text this: Ibn Tumlūs (Alhagiag bin Thalmus d. 620/1223), compendium on logic al-Muḫtaṣar fī al-Manṭiq /