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

• Класифікатори та каталоги
• Некласичні логіки

Формалізація традиційних логік. Силогістики