این نرم‌افزار شامل معرفی 2004 منبع در رشته ‌های منطق و تاریخ منطق از کتابخانه‌های مختلف است.

محتوای این نرم‌افزار شامل موارد زیر است:

الف) مشخصات نشر منابع منطقی شامل: شهرت و نام پدیدآور، تاریخ ولادت و وفات پدیدآور، شماره منبع، نماد نوع منبع، عنوان منبع، نام مترجم، مصحح، محقق و...؛ معادل انگلیسی پدیدآوران منابع (در ترجمه‌ها)، محل نشر، نام ناشر، تاریخ نشر، نوبت چاپ، تعداد صفحات، قطع، زبان، شابك (شماره استاندارد بین‌المللی كتاب)، درجه، محل نگهداری، شماره ثبت، موضوعات به صورت درختی، محل درج و شماره جلد (در موارد لازم) می‌باشد.

ب) نمایه‌های موضوعی منابع شامل: موضوعات کتاب‌ها به همراه شماره صفحه منبع آنها؛

ج) سیر درختی موضوعات از کلی‌ترین موضوع تا موضوعات جزئی؛

امکانات نرم افزاری: امکان انواع جستجوی پیشرفته (تک واژه یا ترکیبی) با دامنه‌های گوناگون.