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

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