ЕСТЕСТВЕННЫЙ ВЫВОД Русско-английский перевод ЕСТЕСТВЕННЫЙ ВЫВОД мат. natural deduction, natural inference Большой Русско-Английский словарь. New big Russian-English dictionary. 2012