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

introduction to deductive proofs מתח
.תִכנו	введение в дедуктивные доказательства (ssn)