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

logique formelle
.טכנול, .עיבוד	formal logic
מחש.	mathematical logic; symbolic logic