- Anvari S, Dadbeh A (2007). The theory of the spheres and its influence on Islamic philosophy. MESHKĀT AL-NŪR. 11(38):47-88. [Persian]
- Ardeshir M (2010). Mathematical logic. 2nd edition. Tehran: Hermes. [Persian]
- Fallāhī A (2010). The impossibility of the Ṣiddīqīn argument without philosophical presuppositions in modern logic. Philosophy of Religion. 7(6):71-95. [Persian]
- Ibn Sīnā (2022). Translation and commentary on Avicenna’s AL-ISHĀRĀT WA’L-TANBĪHĀT: Logic (Volume 2). 10th edition. Malekshāhī H, translator. Tehran: Soroush. [Persian]
- Lemmon EJ (1998). Beginning logic. 19th edition. London: Chapman and Hall.
- Mehrabadi K, Hassanzadeh Niri MH (2025). Formalizing three reasonings of Hojwiri in first-order predicate logic. Logic Studies. 15(2):201-219. [Persian]
- Nasir Khusraw AMQB (1962). ZAD AL-MUSAFIRIN. 1st edition. Bazl Al-Raḥman M, editor. Tehran: MASJID-I SOLṬANIYYA. [Persian]
- Ranjbar H, Hosseini D, Saeedi Mehr M (2013). Formulating Avicenna's argument of truthful ones in the book of nejat based on the first-order predicate logic. Avicennian Philosophy Journal. 17(50):17-40. [Persian]
- Reiner E, Pingree D (2005). Babylonian planetary omens: Part 4. Leiden: Brill.
- Rochberg F (2004). The heavenly writing: Divination, horoscopy, and astronomy in Mesopotamian culture. Cambridge: Cambridge University Press.
