Електронний каталог
Класифікатори
510.2 Основи математики
510.27 Логічна семантика. Семантичні антиномії
Інформаційно-пошукова система
'УФД/Бібліотека'