дедуктивная логика, включающая математическиеметоды исследования способов рассуждений (выводов); математическая теориядедуктивных способов рассуждений. Математической логикой называют такжелогику, которой пользуются в математике.
