al-Mujaz Fi al-Mantiq : A Summary of Logic