اصفهانى, شیخ محمد حسین, نهایة الدرایه فى شرح الکفایه, قم: مؤسسه آل البیت لاحیاء التراث, 1414 هـ.ق.
بروجردى, شیخ محمد تقى, نهایة الافکار (تقریرات اصول محقق عراقى), قم: مؤسسة النشر الاسلامى, 1404 هـ.ق.
حکیم, سید عبدالصاحب, منتقى الاصول (تقریرات اصول آیت اللّه روحانى), امیر, 1413 هـ.ق.
سیستانى, آیت اللّه سید على, تقریرات اصول, مخطوط.
عراقى, آقا ضیاء الدین, تعلیقات على فوائد الاصول, قم: مؤسسة النشر الاسلامى, 1405 هـ.ق.
ـــــــــــــــــ, مقالات الاصول, قم: مجمع الفکر الاسلامى, 1420 هـ.ق.
فیاض, محمّد اسحاق, محاضرات فى اصول الفقه (تقریرات اصول آیت اللّه خوئى), قم: مؤسسة النشر الاسلامى, 1419 هـ.ق.
لاریجانى, صادق, جزوات دروس خارج اصول.
هاشمى شاهرودى, سید محمد, بحوث فى علم الاصول (تقریرات اصول), قم: مؤسسة دائرة المعارف الفقه الاسلامى, 1419 هـ.ق.
Jeffrey , k . (2001),زstructured propositionsس , in Stanford Encyclopedia of philosophy.
Kenny , A. (2002) , Frege: An introduction to the founder of modern analytic philosophy, Oxford: Blackwell.
McGrath, M. (2005),زPropositionsس, in Stanford Encyclopedia of Philosophy.
Sowyer, (2002), زPropertiesس, in Stanford Encyclopedia of Philosophy.
Withgenstein, L. (2001), Tractatus Logico-Philosophicus, London: Routledge.
)