Französisch ⇄ Deutsch Dänisch Englisch Finnisch Griechisch Italienisch Niederländisch Portugiesisch Russisch Spanisch +

logique mathématique
comp.	formal logic; symbolic logic
IT	computational logic; mathematical logic