Numeralwise

numeralwise decidable — нумерически разрешимый
numeralwise expressible — нумерически представимый
numeralwise representable — нумерически представимый
numeralwise representability — нумерическая представимость
numeralwise decidable formula — нумерически разрешимая формула
numeralwise decidable function — нумерически разрешимая функция
numeralwise expressible formula — нумерически выразимая формула
numeralwise decidable predicate — нумерически разрешимый предикат
numeralwise expressible function — нумерически выразимая функция
numeralwise expressible predicate — нумерически выразимый предикат
numeralwise representable formula — нумерически представимая формула
numeralwise representable function — нумерически представимая функция