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

elementary logic
מחש.	calcul logique du premier échelon; calcul des prédicats du premier ordre