Terms for subject Logic containing logic order

English	Russian
first order logic formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
first-order logic-based formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
formula of first-order logic	формула логики первого порядка (Alex_Odeychuk)
many-sorted first-order logic	многосортная логика первого порядка (Alex_Odeychuk)