Terms containing mathematical logic

Subject	English	Russian
scient.	by means of mathematical logic	посредством математической логики
progr.	in terms of mathematical logic	в терминах математической логики (ssn)
tech.	mathematical logic	математическая логика
tech.	mathematical logic	теоретическая логика
math.	mathematical logic	логистика
automat.	mathematical logic	математическая логика (исследование мышления с помощью исчислений и формализованных языков)
math.	mathematical logic	символическая логика (ssn)
comp.	mathematical logic	формальная логика
AI.	statement in mathematical logic	высказывание на языке логики высказываний (Alex_Odeychuk)
AI.	statement in mathematical logic	высказывание в символической форме (Alex_Odeychuk)
progr.	terms of mathematical logic	термины математической логики (ssn)