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

• Класифікатори та каталоги
• Дійсність ствердження (теореми)

Проблема прийняття рішення