ИНТУИЦИОНИСТСКИ ВЫВОДИМЫЙ Русско-английский перевод ИНТУИЦИОНИСТСКИ ВЫВОДИМЫЙ мат. intuitionistically derivable Большой Русско-Английский словарь. New big Russian-English dictionary. 2012