Конструктивная теория доказательств и нестандартный анализ....
Драгалин А. Г.
А.Г.Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм....
ISBN: 9785354003884
Издательство:
Едиториал УРСС
Дата выхода: октябрь 2023
Найденных опечаток пока нет
Добавить запись