IMPLICATIONAL CALCULUS Англо-русский перевод IMPLICATIONAL CALCULUS мат. импликативное исчисление New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011