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