Akademik
implicational logic
Математика:
импликационная логика
Универсальный англо-русский словарь
.
Академик.ру
.
2011
.