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

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

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