выводимый formally deducible theorem ≈ формально выводимая теорема - deducible formula - deducible rule - deducible rules - deducible sentence - deducible theorem
(from) выводимый
выводимый formally deducible theorem ≈ формально выводимая теорема - deducible formula - deducible rule - deducible rules - deducible sentence - deducible theorem
(from) выводимый
New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011