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