ФОРМАЛЬНАЯ ВЫВОДИМОСТЬ Русско-английский перевод ФОРМАЛЬНАЯ ВЫВОДИМОСТЬ мат. formal deducibility, formal derivability Большой Русско-Английский словарь. New big Russian-English dictionary. 2012