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

predicate calculus and proving theorems מתח
.תִכנו	исчисление предикатов и доказательство теорем (ssn)