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

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