قرآن مجید.
احمدی‌افرمجانی، علی‌اکبر. (1392). دوران نقادی.تهران: پژوهشگاه علوم انسانی و مطالعات فرهنگی.
ایلخانی، محمد.(1389). تاریخ فلسفه در قرون‌وسطی و رنسانس.چاپ سوم. تهران: سمت
بهنیافر، مهدی. احمدی،علی‌اکبر. (1387) (بهار و تابستان). "تقریر معناشناختی از صدق جمله‌های علوم‌قیاسی با تأکید بر آراء تارسکی". پژوهش‌های فلسفی. شماره 13. ص:65-106.
دکارت. رنه. (1388). گفتار در روش درست راه بردن عقل و جستجوی حقیقت در علوم. ترجمه: محمدعلی فروغی. تهران: هرمس
ژیلسون. اتین. (1371). عقل و وحی در قرون وسطی. مترجم: شهرام پازوکی. چاپ اول. تهران: مؤسسه مطالعات و تحقیقات فرهنگی.
مصاحب، غلامحسین. (1366). مدخل منطق صورت. چاپ دوم. تهران: انتشارات حکمت.
مطهری. مرتضی. (1368). مجموعه آثار جلد1(عدل الهی. انسان و سرنوشت). تهران: انتشارات صدرا
________ ،(1369). مجموعه آثار جلد2(وحی و نبوت. انسان در قرآن. جامعه و تاریخ). تهران: انتشارات صدرا.
________ ،(1370). مجموعه آثار جلد3(کلیات علوم اسلامی ج2(کلام). ختم نبوت. نبرد حق و باطل، فطرت، توحید). تهران: انتشارات صدرا.
________ ،(1374)(آ). مجموعه آثار جلد 4 (نبوت.معاد). تهران: انتشارات صدرا.
________ ،(1371)(آ). مجموعه آثار جلد5 (کلیات علوم اسلامی ج1(منطق –فلسفه)). تهران: انتشارات صدرا.
________ ،(1371)(ب). مجموعه آثار جلد 6 (اصول فلسفه و روش رئالیسم جلد اول، دوم، سوم، پنجم). تهران: انتشارات صدرا.
________ ،(1373).مجموعه آثار جلد 13 (مقالات فلسفی. مسئلة شناخت). تهران: انتشارات صدرا.
_______ ،(1383). مجموعه آثار جلد15 (فلسفه تاریخ).تهران: انتشارات صدرا.
_______ ،(1378) مجموعه آثار جلد 16 (جاذبه و دافعه علی (ع)).تهران: انتشارات صدرا.
_______ ،(1374)(ب). مجموعه آثار جلد 19(نظام حقوق زن در اسلام).تهران: انتشارات صدرا.
_______ ،(1380). مجموعه آثار جلد20 (کلیات علوم اسلامی ج3 (اصول فقه- فقه). شش مقاله. اصل جهاد در اسلام (ده گفتار).جهاد). تهران: انتشارات صدرا.
_______ ،(1381). مجموعه آثار جلد21 (اسلام و نیازهای زمان). تهران: انتشارات صدرا.
_______ ،(1385)(آ).مجموعه آثار جلد 22 (حکمت‌ها و اندرزها). تهران: انتشارات صدرا.
_______ ،(1385)(ب). مجموعه آثار جلد 23 (آشنایی با علوم اسلامی). تهران: انتشارات صدرا.
________ ،(1385) (ج). مجموعه آثار جلد 24 (آزادی عقیده (ضمیمه)). تهران: انتشارت صدرا
_________ ،(1386).مجموعه آثار جلد 25 (احیای تفکر اسلامی). تهران: انتشارات صدرا.
_________ ،(1387) مجموعه آثار جلد 26 (آشنایی با قرآن). تهران: انتشارات صدرا.
موحد. ضیاء. (1388).درآمدی به منطق جدید. چاپ هشتم. تهران: انتشارات علمی و فرهنگی.
ناگل، ارنست. جیمز نیومن و آلفرد تارسکی. 1364. برهان گودل و حقیقت و برهان. ترجمه: محمد اردشیر. تهران: نشرمولی.
Augustine. Marcus Aurelius. (2009). The Confessions of St. Augustine. Translated by Henry Chadwick. New York Oxford University Press.
Tarski. Alfred. (1994). Introduction to Logic and to the Methodology of the Deductive Sciences. 4th.ed. by Jan Tarski. New York Oxford University Press.
Hodges, Wilfred, "Model Theory", in: The Stanford Encyclopedia of Philosophy(fall 2011Edition), Edward N. Zalta (ed.) Available at: http: // plato. stanford. edu/ fall(2013(/ entries/ model - theory/
Hodges, Wilfred and Scanlon, Thomas, "First-order Model Theory", in: The Stanford Encyclopedia of Philosophy (fall2013 Edition), Edward NZalta (Ed). Available at: http: // plato. stanford. edu/ archives/ fall2013/ entries/ model theory - fo/
Hodges, Winfried. "Model Theory."Routledge encyclopedia of philosophy (REP). Ed. Edward Craig. 1.0st ed. London: Routledge, 1998. CD Version.
)