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

• Класифікатори та каталоги
• Парадокси, антиномії, логічні помилки

Логічні теорії. Логічні обчислення

Підтеми:

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