English-Russian big polytechnic dictionary
логика выводов
crisp logic — четкая логика
Boolean logic — булева логика
laser logic — лазерная логика
system logic — логика системы
circuit logic — схемная логика
«inferencial logic»
inferencial logic в энциклопедиях