Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Logic containing first order logic | all forms | exact matches only | in specified order only
EnglishRussian
first order logic formalismформализм логики первого порядка (quantifiers Alex_Odeychuk)
first-order logic-based formalismформализм логики первого порядка (quantifiers Alex_Odeychuk)
formula of first-order logicформула логики первого порядка (Alex_Odeychuk)
many-sorted first-order logicмногосортная логика первого порядка (Alex_Odeychuk)

Get short URL