انتشار کتاب «فرهنگ‌نامه منطق» در پژوهشکده باقرالعلوم(ع)