Електронний каталог
Класифікатори
519.766 Моделі мов та мовних структур
519.766.2 Алгебрологічні моделі. Теоретико-множинні моделі
Інформаційно-пошукова система
'УФД/Бібліотека'