גרמנית ⇄ איטלקית אנגלית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית שוודית +

Hoaresche Logik
.טכנול	lógica de HOARE