ЛОГИЧЕСКАЯ ФОРМАЛИЗАЦИЯ Русско-английский перевод ЛОГИЧЕСКАЯ ФОРМАЛИЗАЦИЯ мат. logical formalization Большой Русско-Английский словарь. New big Russian-English dictionary. 2012