Зведений каталог бібліотек Миколаєва

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

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