Теория доказательств - раздел математической логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Драгалин А.Г.
Конструктивная теория доказательств и нестандартный анализ
Теория доказательств - раздел математической логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники.