Terms containing order logic

Subject	English	Russian
math.	first-order logic	логика первого порядка
math.	first-order logic	первопорядковая логика (vitalinew)
math.	first-order logic	логика предикатов первого порядка (= first-order predicate logic ssn)
el.	first-order logic	логика предикатов первого порядка
comp.	first-order logic	исчисление предикатов первого порядка
comp.	first order logic	логика первого порядка
logic	first-order logic-based formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
logic	first order logic formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
AI.	first-order logic semantics	семантика логики предикатов первого порядка (Alex_Odeychuk)
progr.	first-order logic tuple	логический кортеж первого порядка (Alex_Odeychuk)
AI.	first-order logic with polymorphic types	логика первого порядка с полиморфными типами (Alex_Odeychuk)
logic	formula of first-order logic	формула логики первого порядка (Alex_Odeychuk)
logic	many-sorted first-order logic	многосортная логика первого порядка (Alex_Odeychuk)
IT	N-order logic	исчисление предикатов N-ого порядка
math.	order logic	упорядоченная логика
comp.	second order logic	логика предикатов второго порядка
comp.	second order logic	логика второго порядка