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

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

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