Електронний каталог
Класифікатори
510.2 Основи математики
510.23 Формалізм (математичні аспекти)
Інформаційно-пошукова система
'УФД/Бібліотека'