SINGLE-SORTED LOGIC Англо-русский перевод SINGLE-SORTED LOGIC односортная логика (в СИИ) Big English-Russian dictionary . Большой Англо-Русский словарь. 2012