РАЗРЕШИМАЯ ФОРМУЛА Русско-английский перевод РАЗРЕШИМАЯ ФОРМУЛА мат. decidable formula Большой Русско-Английский словарь. New big Russian-English dictionary. 2012