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

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

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

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

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

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