Angielski ⇄ Rosyjski +

many-sorted first-order logic akcenty
log.	многосортная логика первого порядка (Alex_Odeychuk)