Електронний каталог
Класифікатори
164.3 Логіка співвідношень. Логіка включення. Числення функцій. Числення ієрархій. Функції з багатьма змінними
164.32 Комбінація співвідношень
Інформаційно-пошукова система
'УФД/Бібліотека'