Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Логічні теорії. Логічні обчислення

Алгебра логіки. Алгебра висловлювань, алгебра класів (логіка класів), алгебра відношень. Нормальні форми: кон'юнктивна і диз'юнктивна