Adicionar ao meu dicionário
many-sorted term
терм с несколькими типами переменных; многотипный терм
A tradução da palavra não está encontrada (en-ru) nos dicionários
Se sabe a tradução correta da frase «many-sorted term» em russo, adicione-a ao dicionário de usuários.