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

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