تشريح الاصول :
حاج ميرزا حسن بن محمد باقر معانى تبريزى ، تبريز ، 1305 ق ، سنگى ، با فصول الغروية در يك جلد .
تشريح الاصول الصغير :
آخوند ملا على بن فتح اللّه نهاوندى ، تبريز ، 1312 ق ، سنگى ، رحلى ، بىشماره صفحه ، با مشارق الاصول در يك مجلد .
تشريع الاصول الكبير :
آخوند ملا على بن فتح اللّه نهاوندى نجفى ، طهران ، 16 - 1320 ق ، سنگى ، وزيرى ، خط جعفر بن محمد باقر بحر العلوم طباطبائى 292 ص .
تشريح الافلاك :
محمد بن حسين جبعى عاملى شيخ بهائى ، طهران ، 1319 ق ، سنگى ، خشتى ، خط زين العابدين قمى ، بىشماره صفحه با خلاصة الحساب و هيئت قوشچى و سى فصل و معرفة التقويم و غيره .
طهران ، 1319 ق ، سنگى ، خشتى ، 45 ، + 62 + 44 + 63 + 42 + 15 + 63 ص با خلاصة الحساب و غيره .
طهران ، 1316 ق ، سنگى ، خشتى ، 173 ص با خلاصة الحساب و غيره .
طهران ، 1293 ق ، سنگى ، خشتى ، خط عبد الرحيم بن محمد تقى تبريزى ، بىشماره صفحه ، با خلاصة الحساب و غيره .
طهران ، 1291 ق ، سنگى ، خشتى ، خط ملا - حسين خراسانى ، بىشماره صفحه ، با خلاصة - الحساب و غيره .
طهران ، 1279 ق ، سنگى ، خشتى ، خط محمد - على ، بىشماره صفحه ، با خلاصة الحساب و غيره .