SYNTAX ARITHMETIZATION Англо-русский перевод SYNTAX ARITHMETIZATION мат. арифметизация синтаксиса, геделизация Big English-Russian dictionary . Большой Англо-Русский словарь. 2012