Khansari, Mohammad (1980), Formal Logic, Vols. 1&2, 3rd ed., Tehran: Agah Publishing.
Sabzevari, Hadi (1990), Sharh al-Manzuma, edited and annotated by Masoud Talebi and commented by Hassan Hasanzadeh Amoli, Tehran: Nab.
Sadr al-Muta'allihin (1981 CE), Asfar (Al-Hikmat al-Muta'aliyah fi al-Asfar al-Aqliyah al-Arba'ah), 9 volumes, Beirut: Dar Ihya al-Turath.
Faramarz Gharamaleki, Ahad (2009), Logic 1, Tehran: Payame Noor.
Motahari, Morteza (1999), Collection of Works of Martyr Motahari, 34 volumes, Tehran: Sadra.
Muzaffar, Mohammad Reza (1424 AH), Al-Mantiq, commentary by Gholamreza Fayyazi, research by Rahmatollah Rahmati, 3rd ed., Qom: Islamic Publishing Institute.
Mulla Abdullah Yazdi (1425 AH), Al-Hashiyah 'ala Tahdhib al-Mantiq, 12th ed., Qom: Islamic Publishing Institute.
Mirdamad (1995), Al-Qabasat, edited by Mehdi Mohaghegh, Tehran: University of Tehran.