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