Angielski ⇄ Rosyjski +

first-order logic-based formalism akcenty
log.	формализм логики первого порядка (quantifiers Alex_Odeychuk)