Terms containing first-order logic

Subject	English	Russian
comp.	first order logic	логика первого порядка
logic	first order logic formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
math.	first-order logic	логика первого порядка
el.	first-order logic	логика предикатов первого порядка
math.	first-order logic	логика предикатов первого порядка (= first-order predicate logic ssn)
math.	first-order logic	первопорядковая логика (vitalinew)
comp.	first-order logic	исчисление предикатов первого порядка
logic	first-order logic-based 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)
math.	first-order predicate logic	логика предикатов первого порядка (ssn)
logic	formula of first-order logic	формула логики первого порядка (Alex_Odeychuk)
logic	many-sorted first-order logic	многосортная логика первого порядка (Alex_Odeychuk)