Terms containing order logic

Subject	English	Russian
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)