дедуктивная логика, использующая математические методы исследования способов рассуждений (выводов) математическая теория дедуктивных способов рассуждений.
Значение МАТЕМАТИЧЕСКАЯ ЛОГИКА в Современном энциклопедическом словаре
Что такое МАТЕМАТИЧЕСКАЯ ЛОГИКА
Современный энциклопедический словарь. 2012