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

N-order logic מתח
.טכנול	исчисление предикатов N-ого порядка