ДОКАЗУЕМАЯ ОПРЕДЕЛИМОСТЬ Русско-английский перевод ДОКАЗУЕМАЯ ОПРЕДЕЛИМОСТЬ мат. provable definability Большой Русско-Английский словарь. New big Russian-English dictionary. 2012