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

• Класифікатори та каталоги
• Задачі перелічення в комбінаторному аналізі

Перелік булевих функцій та диз' юнктивних нормальних форм