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

N-order logic
מחש.	числення предикатів N-ного порядку