Електронний каталог
Класифікатори
164.22 Числення класів. Класифікація тверджень
164.223 Комбінація класів
Підтеми:
164.223.1 Передумова
164.223.2 Перетин
164.223.3 Об'єднання
164.223.4 Заперечення
Інформаційно-пошукова система
'УФД/Бібліотека'