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

first-order logic semantics מתח
.בינה	семантика логики предикатов первого порядка (Alex_Odeychuk)