gen. |
дедуктивная логика, включающая математические методы исследования способов рассуждений выводов; математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике. Большой Энциклопедический словарь |