دانشنامه اسلامی
این اثر، منظومه ای در ۳۴۰ بیت، درباره قواعد منطق است که به سال ۱۲۱۱ ق. در نجف اشرف سروده شده است و صدر الافاضل اصتهباناتی شرحی بر آن نوشته است.
الشریفیه
این اثر، منظومه ای در ۳۴۰ بیت، درباره قواعد منطق است که به سال ۱۲۱۱ ق. در نجف اشرف سروده شده است و صدر الافاضل اصتهباناتی شرحی بر آن نوشته است.
