רוסית ⇄ אנגלית

формализм логики первого порядка מתח
.הִגָי	first-order logic-based formalism (quantifiers Alex_Odeychuk); first order logic formalism (quantifiers Alex_Odeychuk)