Akademik
принцип дедукции
мат
.
deduction principle
Большой англо-русский и русско-английский словарь
.
2001
.