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

sequential calculus with identity מתח
.מָתֵי	исчисление высказываний с тождеством