Французька ⇄ Іспанська Італійська Англійська Грецька Данська Нідерландська Німецька Португальська Російська Фінська Шведська +

logique formelle
комп.	mathematical logic; symbolic logic
IT, обр.дан.	formal logic