DictionaryForumContacts

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