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

logique symbolique
.טכנול, .טֶכנו	mathematical logic; symbolic logic
מחש.	formal logic