Terms for subject Logic containing первым

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