Terms containing logic order

Subject	English	Russian
comp.	first order logic	логика первого порядка
logic	first order logic formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
math.	first-order logic	логика первого порядка
math.	first-order logic	логика предикатов первого порядка (= first-order predicate logic ssn)
math.	first-order logic	первопорядковая логика (vitalinew)
el.	first-order logic	логика предикатов первого порядка
comp.	first-order logic	исчисление предикатов первого порядка
AI.	first-order logic semantics	семантика логики предикатов первого порядка (Alex_Odeychuk)
progr.	first-order logic tuple	логический кортеж первого порядка (Alex_Odeychuk)
AI.	first-order logic with polymorphic types	логика первого порядка с полиморфными типами (Alex_Odeychuk)
logic	first-order logic-based formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
math.	first-order predicate logic	логика предикатов первого порядка (ssn)
logic	formula of first-order logic	формула логики первого порядка (Alex_Odeychuk)
math.	logic of higher order	логика высшего порядка
el.	logic order	логическая команда
logic	many-sorted first-order logic	многосортная логика первого порядка (Alex_Odeychuk)
IT	N-order logic	исчисление предикатов N-ого порядка
progr.	order and group the PLC program ladder logic	упорядочение и группировка многоступенчатой логики программы ПЛК (ssn)
progr.	order and group the PLC program ladder logic to maximize its modularity with respect to the functions required	упорядочение и группировка многоступенчатой логики программы ПЛК для максимального увеличения модульности требуемых функций (ssn)
math.	order logic	упорядоченная логика
automat.	order of logic function	порядок логической функции
comp.	second order logic	логика второго порядка
comp.	second order logic	логика предикатов второго порядка