Здравствуйте, <Аноним>, Вы писали:
А>Вот исходная фраза "A sort associated with a data type t in an algebra A is denoted by At." Так перевести можно "Множество, элементы которого имеют тиип данных t в алгебре A обозначается как At".
На первый взгляд можно, но проверь: как еще употребляется "a sort" в тексте?
Все, что здесь сказано, может и будет использоваться против меня.
