Akademik
теория импликации
мат
.
theor of implication
Большой англо-русский и русско-английский словарь
.
2001
.