علائم اختصارى
اساس : اساس الاقتباس ، تصحيح استاد مدرس رضوى . از انتشارات دانشگاه تهران ، 1326 .
اشارات : الاشارات و التنبيهات ، دفتر نشر كتاب ، چاپ دوم ، 1403 .
دانشنامه : دانشنامهء علائى ، تصحيح دكتر محمد معين و سيد محمد مشكوة ، انجمن آثار ملى ، 1331 .
درّه : درّة التاج ، تصحيح آقاى سيد محمد مشكوة ، چاپخانهء مجلس ، 1317
شفا : الشفاء ( المنطق ) . منشورات مكتبة آية الله العظمى المرعشى النجفى ( ج 1 و 2 و 3 و 4 ) . قم 1405 ه . ق .
معيار العلم : معيار العلم ، تأليف غزالى ، تصحيح دكتر سليمان دنيا ، قاهره ، 1960 .
منظومه : منظومهء حاج ملا هادى سبزوارى ، چاپ سنگى ، طهران ، 1298 .
نجات : النجاة ، طبع محيى الدين صبرى كردى ، مصر 1938 .