Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms for subject
Mathematics
containing
several- sorted
|
all forms
|
in specified order only
English
Russian
several-sorted
predicate calculus
исчисление предикатов с переменными нескольких видов
several-sorted
predicate calculus
исчисление предикатов с несколькими сортами переменных
Get short URL