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

brief introduction to predicate calculus מתח
.תִכנו	краткое введение в исчисление предикатов (ssn)