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

many-sorted first-order logic מתח
.הִגָי	многосортная логика первого порядка (Alex_Odeychuk)