Akademik

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

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