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

Hoare-Logik f
מחש.	logique de Hoare