DictionaryForumContacts

   Russian
Terms for subject Mathematics containing сорта | all forms
RussianEnglish
исчисление предикатов с несколькими сортами переменныхseveral-sorted predicate calculus
низший сортlower kind
низший сортthe lowest sort
определять сортgrade
относиться к лучшим сортамrank among the best