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

logique formelle
.טכנול, .עיבוד	formale Logik; symbolische Logik
מחש.	mathematische Logik