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

• Класифікатори та каталоги
• Метатеоретические проблемы

Теория формализованных дедуктивных систем