выводимость (формулы, уравнения)
выводимость - formal deducibility - global deducibility - logical deducibility
выводимость
Вивідність
(n) выводимость
выводимость
выводимость
вивідність
проблема выводимости
проблема выводимости
безопасность, исключающая доступ к информации высших уровней для пользователей низших уровней