Конструктивная теория доказательств и нестандартный анализ....
А.Г.Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина явилась первым...
ISBN: 5-354-00388-1
Издательство:
URSS
Дата выхода: январь 2003
Оставить комментарий