Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Mathematics containing С-исчисление | all forms
RussianEnglish
исчисление высказываний с тождествомSCI (sequential calculus with identity)
исчисление предикатов с несколькими сортами переменныхseveral-sorted predicate calculus
исчисление предикатов с обобщениемpredicate calculus with generalization
исчисление предикатов с переменными нескольких видовseveral-sorted predicate calculus
исчисление предикатов с равенствомpredicate calculus with identity
исчисление с несколькими видами переменныхmany-sorted calculus

Get short URL