شرح برهان شفا از سلسله درس هاى استاد مصباح یزدی است که به خامه حجه الاسلام محسن غرویان تحقیق و نگارش یافته است. استاد مصباح کتاب برهان شفا را در سال هاى ۶۵ـ۱۳۶۳ در مؤسسه در راه حق قم تدریس مى کردند. حجه الاسلام غرویان که از شرکت کنندگان آن درس بوده است متن پیاده شده از نوار را ویرایش و تنظیم نموده، و علاوه بر ترجمه روانى از متن کتاب برهان، توضیحات دیگرى هم بر کتاب افزوده است. استاد نیز پس از آن، تمام کتاب را مطالعه کرده و اصلاحات لازم را انجام داده اند. به این ترتیب در این شرح ابتدا عباراتى از متن کتاب برهان شفا ـ که جامع ترین و عمیق ترین کتاب منطقى در عالم اسلام است ـ به همراه ترجمه روان آن آورده شده و بعد توضیحات و بررسى هاى استاد به همراه افزوده هاى آقاى غرویان آمده است.
قصیده تائیه، بلندترین قصیده دعبل خزائی است که سبب شد تا دعبل، شهرتی عالمگیر را کسب نماید. تعداد ابیات این قصیده، ۱۲۳ بیت و به زبان عربی است. نام این شعر، علاوه بر قصیده تائیه، به مدارس الآیات یا تائیه دعبل شهره است. وی ۱۵ قصیده سروده است که یکی از قطعه شعرهای او با تاء شروع می شود
فرهنگ اصطلاحات منطقى به انضمام واژهنامه فرانسه و انگليسى، اثر صاحب كتاب «منطق صورى»، محمد خوانسارى (اصفهان، 1300-1388ش، تهران) است كه نویسنده در آن، معانى واژگان و اصطلاحات علم منطق صورى را بهصورت الفبايى، مطرح و با استناد به منابع معتبر اين علم تعريف كرده است. او در پايان، معادلهاى اصطلاحات منطقى را به زبانهاى فرانسه، لاتين و انگليسى نيز آورده است. اين كتاب از دو مقدمه نویسنده (مقدمه چاپ دوم و اول)، علائم اختصارى و متن اصلى (شامل اصطلاحات منطقى از الف تا ياء) تشكيل شده است. در اين اثر در مجموع، معانى تعداد 779 واژه و اصطلاح توضيح داده شده است. روش نویسنده در اين اثر استناد مستقيم به منابع اصلى علم منطق است؛ به اين معنا كه براى شرح هريك از اصطلاحات، جمله يا جملاتى از كتابهاى «أساس الاقتباس»، «الإشارات و التنبيهات»، «دانشنامه علائى»، «درّة التاج»، «الشفاء (المنطق)» «معيار العلم»، «منظومه» حاج ملا هادى سبزوارى و «النجاة» آورده و به همان اكتفا كرده و در توضيح، اندكى افزوده است. نویسنده گاه از نمودار نيز براى تفهيم مطالب استفاده كرده است