אנגלית ⇄ גרמנית צרפתית רוסית +

elementary logic מתח
.מָתֵי	элементарная логика
מחש.	исчисление предикатов первого порядка