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



Выдержка из книги Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ


Теория доказательств - раздел математической логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники.

(cкачать страницу)

Смотреть книгу на libgen

Теория доказательств  -  раздел математической логики,  посвященный исследованию понятия доказательства в математике,  приложениям этого понятия в различных разделах науки и техники.