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

Herbrand recursive function מתח
.מָתֵי	рекурсивная по Эрбрану функция