Sign in | English | Terms of Use
DictionaryForumContacts
Terms containing several-sorted | all forms | in specified order only
SubjectEnglishRussian
Makarov.several-sortedнескольких типов
Makarov.several-sortedнескольких видов
math.several-sorted predicate calculusисчисление предикатов с переменными нескольких видов
math.several-sorted predicate calculusисчисление предикатов с несколькими сортами переменных

Get short URL