Akademik

theor of implication
мат. теория импликации

Большой англо-русский и русско-английский словарь. 2001.