Terms for subject Scientific containing logic

English	Russian
arithmetic and logic unit	АЛУ
by means of mathematical logic	посредством математической логики
emitter-coupled injection logic	ЭСИЛ (эмиттерно-связанная инжекционная логика)
emitter-emitter coupled logic	эмиттерно-эмиттерная связанная логика (ЭЭСЛ)
erotetic logic	логика вопросов (Ivan Gribanov)
erotetic logic	эротетическая логика (логика вопросов Ivan Gribanov)
logic of scientific knowledge	логика научного познания (Ivan Gribanov)
logic programming community	сообщество специалистов по логическому программированию (Alex_Odeychuk)
logic-programming group	группа специалистов по логическому программированию (Alex_Odeychuk)
logic-programming work	работа по логическому программированию (Alex_Odeychuk)
research on the interfaces between logic and linguistics	исследование на стыке логики и лингвистики (Alex_Odeychuk)
solid logic technology	технология изготовления толстоплёночных логических интегральных схем
theory of logic programming	теория логического программирования (Alex_Odeychuk)