Англійська ⇄ Іспанська Італійська Есперанто Естонська Китайська Нідерландська Німецька Португальська Російська Сербська Українська Французька Японська +

mathematical logic
автомат.	logique f
комп.	logique formelle
IT	logique mathématique
IT, тех.	logique symbolique