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