implicational logic Мат. импликационная логика Источник: Полный англо-русский словарь на Gufo.me Предложить изменения implicational calculus implicational quantifier
