اردشیر، محمد (۱۳۸۳)، منطق ریاضی، هرمس، تهران.
اهل سرمدی، نفیسه و مرتضی طباطباییان (۱۳۹۳)، «اثبات واجبالوجود براساس فرض تسلسل: نگاهی به برهان ابنسینا و اقامۀ برهانی بدیع»، حکمت اسراء، سال ششم، شمارۀ سوم، پیاپی ۲۱، ص ۲۵-۴۰.
پلانتینگا، الوین (۱۳۹۳)، فلسفۀ دین: خدا، اختیار و شر، ترجمۀ محمد سعیدیمهر، طه، قم.
جوادی آملی، عبدا... (۱۳۹۲)، تبیین براهین اثبات خدا تعالی شأنه، اسراء، قم.
جوادی آملی، عبدا...(۱۳۹۳)، عین نضّاخ، تحریر تمهیدالقواعد، اسراء، قم.
طباطبائی، محمدحسین (۱۳۹۱)، اصول فلسفه و روش رئالیسم، صدرا، تهران.
عبودیت، عبدالرسول (۱۳۸۹)، اثبات وجود خدا بهروش اصل موضوعی، مؤسسۀ امام خمینی1، قم.
عبودیت، عبدالرسول(۱۳۹۲الف)، درآمدی به نظام حکمت صدرایی، سمت، تهران.
عبودیت، عبدالرسول(۱۳۹۲ب)، فلسفۀمقدماتی، برگرفته از آثار شهید مرتضی مطهری، مؤسسۀ امام خمینی1، قم.
عبودیت، عبدالرسول(۱۳۹۳)، درآمدی بر فلسفۀ اسلامی، مؤسسه امام خمینی; و سمت، قم.
نبوی، سعیده سادات (۱۳۸۹)، برهان صدیقین در تفکر اسلامی، پژوهشگاه علوم و فرهنگ اسلامی، قم.
نبوی، لطفا... (۱۳۸۴)، مبانی منطق جدید، سمت، تهران.