Електронний каталог наукової бібліотеки НАКККіМ
Класифікатори
510.64 Некласичні, формальні логічні системи
510.645 Формалізація традиційних логік. Силогістики
Інформаційно-пошукова система 'УФД/Бібліотека'