INTUITIONISTICALLY DERIVABLE Англо-русский перевод INTUITIONISTICALLY DERIVABLE мат. интуиционистски выводимый Big English-Russian dictionary . Большой Англо-Русский словарь. 2012