Терміни за тематикою Логіка що містять first

Англійська	Російська
first order logic formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
first-order logic-based formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
first-order sentence	высказывание логики первого порядка (ssn)
first-order sentence	предложение логики первого порядка (ssn)
formula of first-order logic	формула логики первого порядка (Alex_Odeychuk)
many-sorted first-order logic	многосортная логика первого порядка (Alex_Odeychuk)