فرهنگ اصطلاحات منطقى - خوانساری، محمد - الصفحة ١٢
علائم اختصارى
اساس:
اساس الاقتباس، تصحيح استاد مدرس رضوى. از انتشارات دانشگاه تهران، ١٣٢٦.
اشارات:
الاشارات و التنبيهات، دفتر نشر كتاب، چاپ دوم، ١٤٠٣.
دانشنامه:
دانشنامه علائى، تصحيح دكتر محمد معين و سيد محمد مشكوة، انجمن آثار ملى، ١٣٣١.
درّه:
درّة التاج، تصحيح آقاى سيد محمد مشكوة، چاپخانه مجلس، ١٣١٧
شفا:
الشفاء (المنطق). منشورات مكتبة آية الله العظمى المرعشى النجفى (ج ١ و ٢ و ٣ و
٤). قم ١٤٠٥ ه. ق.
معيار
العلم: معيار العلم، تأليف غزالى، تصحيح دكتر سليمان دنيا، قاهره، ١٩٦٠.
منظومه:
منظومه حاج ملا هادى سبزوارى، چاپ سنگى، طهران، ١٢٩٨.
نجات:
النجاة، طبع محيى الدين صبرى كردى، مصر ١٩٣٨.