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

logica formale
.טכנול, .עיבוד	forméll logík