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