implicational calculus

Мат. импликативное исчисление

Источник: Полный англо-русский словарь на Gufo.me