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

many-sorted propositional calculus מתח
.הִגָי	многосортное пропозициональное исчисление (Alex_Odeychuk)