Taḥrīr al-qawāʿid al-manṭiqiyya fī sharḥ al-risāla al-shamsiyya