Terms for subject Mathematics containing logic

English	Russian
an investigation into the laws of thought on which are founded the mathematical theories of logic and probabilities	Исследование законов мышления, на которых основываются математические теории логики и вероятностей (труд английского математика Джорджа Була (George Boole) Elmir Mamedov)
complete set of logic primitives	полное множество простых логических функций (ssn)
complete sets of logic primitives	полные множества простых логических функций (ssn)
logic automorphism	логический автоморфизм
logic configuration	логическая схема
logic equation	логическое уравнение
logic in memory	встроенной логики
logic-mathematical calculus	логико-математическое исчисление
logic of action	логика действия
logic of certainty	логика достоверности
logic of classes	логика классов (omsksp)
logic of commands	императивная логика
logic of evidence	логика доказательства
logic of existence	экзистенциональная логика
logic of explanation	логика объяснения
logic of higher order	логика высшего порядка
logic of information	логика информации
logic of justification	логика обоснования
logic of method	логика метода
logic of modalities	логика модальностей
logic of norms	логика норм
logic of part	логика части
logic of preference	логика предпочтения
logic of process	временная логика
logic of quantum theory	логика квантовой теории
logic of reasoning	логика рассуждений
logic of relations	логика отношений
logic of strict implication	логика строгой импликации
logic of theory	логика теории
logic of truth	логика истинности
logic of verification	логика верификации
logic of whole	логика целого
logic primitive	простая логическая функция (ssn)
logic with identity	логика с тождеством
logic without identity	логика без тождества
Markov logic network	логико-марковская сеть (ptraci)
n-valued logic n-	значная логика
set of logic primitives	множество простых логических функций (ssn)